Process algebra for synchronous communication (1984)

by J. A. Bergstra, J. W. Klop
Venue:Inform. and Control