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.
Get full access to this article
View all access options for this article.