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