Publications of Alberto Pettorossi

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Pettorossi A., in the category IASI Research Reports (or show them all):


IASI Research Report n. 54  (Previous    Next)


Labella A., Alberto Pettorossi

Towards a categorical understanding of parallelism.

ABSTRACT
Various languages, formalisms and algebraic structures have been recently proposed for denoting parallel computations and communications among processes. We restrict our attention to CCS [Mil 80] and CSP [Hoa 78] and we provide a categorical framework for understanding their basic constructs and operations. In particular we show how the parallel composition and the different kinds of interactions among computing processes can be interpreted as categorical constructions in suitable categories. As a consequence, we are able to express in an abstract way the notions of parallelism and communications, avoiding the description of inessential details which are necessary when using specific algebras or programming languages.
back
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -