Categorical Models for Handshaking Communications¹

Article type: Research Article

Authors: Labella, Anna^a | Pettorossi, Alberto^b

Affiliations: [a] University of Roma | [b] CNR Roma

Note: [1] This work was supported by the Consiglio Nazionale delle Ricerche (Italy)

Abstract: Various languages, formalisms and algebraic structures have been recently proposed for denoting parallel computations and communications among processes. As in [LaP 83] we restrict our attention to the CCS [Mil 80] and CSP [Hoa 78] languages. We provide categorical models for their basic constructs and operations. The parallel composition and other kinds of interactions among computing processes will be interpreted as categorical constructions in suitable categories.

Keywords: Categorical models, Parallel Computations, Communicating Systems, CCS and CSP Languages

DOI: 10.3233/FI-1985-83-405

Journal: Fundamenta Informaticae, vol. 8, no. 3-4, pp. 321-357, 1985