In: Pitt, D.H.; et al.: Lecture Notes in Computer Science, Vol. 389; Category Theory and Computer Science, pages 5-20. Springer-Verlag, 1989.
Abstract: The authors describe CCS models in terms of categories of structured transition systems: They define two categories for representing interleaving and ``truly concurrent'', distributed aspects of CCS. Among the objects of these categories they choose two standard models: The interleaving model essentially coincides with the classical transiton system of CCS, while the distributed model faithfully expresses the issues about decentralized control and multiple representation of agents. Consistency of distributed and interleaving semantics is proved.
Keywords: interleaving semantics; distributed >operational semantics; structured transition system; CCS.