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.