Process algebra for synchronous communication (1984)

by J A Bergstra, J W Klop
Venue:Information and Control