eprintid: 389
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/89
datestamp: 2011-06-13 12:52:47
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-13 12:52:47
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Degano, Pierpaolo
creators_name: De Nicola, Rocco
creators_name: Montanari, Ugo
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: CCS is an (Augmented) Contact Free C/E System
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: A new class of Petri Nets, called Augmented Condition/Event Systems is defined, by slightly relaxing the condition for enabling events. One system, called SgrCCS, 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 SgrCCS (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.
date: 1986
date_type: published
series: Lecture Notes in Computer Science
volume: 280
publisher: Springer
pagerange: 144-165
id_number: 10.1007/3-540-18419-8_13
refereed: TRUE
isbn: 3-540-18419-8
book_title: Mathematical Models for the Semantics of Parallelism
editors_name: Venturini Zilli, Marisa
official_url: http://dx.doi.org/10.1007/3-540-18419-8_13
citation:   Degano, Pierpaolo and De Nicola, Rocco and Montanari, Ugo  CCS is an (Augmented) Contact Free C/E System.   In:  Mathematical Models for the Semantics of Parallelism.   Lecture Notes in Computer Science, 280 .  Springer, pp. 144-165.  ISBN 3-540-18419-8      (1986)