Various languages and algebraic structures have been recently proposed for denoting parallel computations and communications among processes. We restrict our attention to calculus for communicating systems and we provide a categorical framework for understanding their basic constructs and operations. In particular we show that the parallel composition and the different kinds of interactions among computing processes can be interpreted as categorical constructions in suitable categories.
Categories for handshaking communications / Labella, Anna; A., Pettorossi. - STAMPA. - 42:(1986), pp. 555-582. (Intervento presentato al convegno Algebra, Combinatorics and Logic in Computer Science. Coll. Math. Soc. J.Bolyai tenutosi a Gyor (Ungheria) nel Settembre 1983).
Categories for handshaking communications
LABELLA, Anna;
1986
Abstract
Various languages and algebraic structures have been recently proposed for denoting parallel computations and communications among processes. We restrict our attention to calculus for communicating systems and we provide a categorical framework for understanding their basic constructs and operations. In particular we show that the parallel composition and the different kinds of interactions among computing processes can be interpreted as categorical constructions in suitable categories.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
