Completeness of the equational semantics for Basic LOTOS
Massink, M., Rooijakkers, L.
Published in 1993 4th Workshop on Future Trends of Distributed Computing Systems (1993)
Published in 1993 4th Workshop on Future Trends of Distributed Computing Systems (1993)
Get full text
Conference Proceeding