Process algebra with asynchronous communication mechanisms - Bergstra, Jan A. 1951-; Klop, Jan Willem 1945-; Tucker, John W. (1984)