Operational Semantics and a Distributed Implementation of CSP

Gerlinde Schreiber. Operational Semantics and a Distributed Implementation of CSP. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Volume 298 of Lecture Notes in Computer Science, pages 444-454, Springer, 1987.

Abstract

Abstract is missing.