Flow Models of Distributed Computations: Three Equivalent Semantics for CCS

• 1 November 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 114  (2) , 247-314
• https://doi.org/10.1006/inco.1994.1088

Abstract

Keywords

• DISTRIBUTED COMPUTATIONS
• FLOW MODELS
• EQUIVALENT SEMANTICS
• CCS