An Atomic Calculus of Communicating Systems

Abdellatif Obaid, Luigi Logrippo. An Atomic Calculus of Communicating Systems. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 91-104, North-Holland, 1987.

Abstract

Abstract is missing.