For the most recent entries see the Petri Nets Newsletter.

CCS is an (Augmented) Contact Free C/E-System.

Degano, P.; de Nicola, R.; Montanari, U.

Dipartimento di Informatica, Universita di Pisa, ETS Pisa, January 1986.

Also in: Lecture Notes in Computer Science, Vol. 280: Mathematical Models for the Semantics of Parallelism, pages 144-165. Springer-Verlag, 1987.

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

Back to the Petri Nets Bibliography