For the most recent entries see the Petri Nets Newsletter.

A Distributed Operational Semantics for CCS Based on Condition/Event Systems.

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

Instituto di Elaborazione della Informazione, Pisa, Nota Interna B4-21, September 1987.

Also in: Acta Informatica Vol. 26, No. 1-2, pages 59-91. 1988.

Abstract: A new set of inference rules for CCS is proposed. They not only describe the actions agents may perform when in a given state, but also say which parts of the agents move when the global state changes. From the transition relation a particular Petri net is immediately derived. The construction gives a semantics which is consistent with the interleaving semantics of CCS and exhibits full parallelism.

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

Back to the Petri Nets Bibliography