For the most recent entries see the Petri Nets Newsletter.

Concurrency and Compositionality. Extended abstracts of the 2nd Workshop on Concurrency and Compositionality, 1990, San Miniato.

90: Technical Report TR-5. Università degli Studi di Pisa, Dipartimento di Informatica, 1990.

Abstract: The objective of the workshop was to investigate various proposed formalisms for describing distributed systems and compositional proof methods for studying properties of these systems. New semantic models were discussed which emphasize nonsequentiality. The general aim was to develop a theory of concurrency, in which the distributed nature of processes is properly taken into account.

Keywords: compositionality; distributed system; concurrency theory.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography