The importance of the left merge operator in process algebras (1990)

by F Moller
Venue:in: M. Paterson (Ed.), Proceedings 17 th ICALP