Process Algebra with Asynchronous Communication Mechanisms

Jan A. Bergstra, Jan Willem Klop, J. V. Tucker. Process Algebra with Asynchronous Communication Mechanisms. In Stephen D. Brookes, A. W. Roscoe, Glynn Winskel, editors, Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Volume 197 of Lecture Notes in Computer Science, pages 76-95, Springer, 1984.

Abstract

Abstract is missing.