Information and Control

works as
journal containing
Publication_icon.svg Process algebra for synchronous communication (1984) — Jan A. Bergstra, Jan Willem Klop