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.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo