journal : Information and Control
1 article
Process algebra for synchronous communication (Information and Control, 1984) — Jan A. Bergstra, Jan Willem Klop Process algebra for synchronous communication (Information and Control, 1984) — Jan A. Bergstra, Jan Willem Klop