PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Degano P., De Nicola R., Montanari U. CCS is an (augmented) contact free C/E system. In: Mathematical Models for the Semantics of Parallelism (Roma, Italy, 24 September-1 October 1987). Proceedings, vol. 280 pp. 144 - 165. M. Venturini Zilli (ed.). Springer-Verlag, 1987.
 
 
Abstract
(English)
A new class of Petri Nets, called Augmented Condition/Event Systems is defined, by slightly relaxing the condition for enabling events. One system, called ΣCCS, from this class is used to give a new operational semantics to Milner's Calculus of Communicating Systems. The set of CCS agents together with the traditional, interleaving based, derivation relation is proved isomorphic to the case graph of ΣCCS (when single transitions only are considered). Our achievement is twofold: first, we provide CCS with a semantics which is able to describe concurrency and causal dependencies between the actions the various agents can perform; second, we guarantee an adequate linguistic level for the particular class of Petri Nets which can be defined through CCS operators.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional