Process Algebra with Asynchronous Communication Mechanisms.

Jan A. Bergstra, Jan Willem Klop, John V. Tucker

Browse the full CONCUR paper archive.