Asynchronous communication in process algebra : (extended abstract)
Asynchronous communication in process algebra : (extended abstract) / F.S. de Boer, J.W. Klop, C. Palamidessi