@article{eprints384,
       publisher = {Springer},
           pages = {59--91},
         journal = {Acta Informatica},
            year = {1988},
          author = {Pierpaolo Degano and Rocco De Nicola and Ugo Montanari},
           title = {A Distributed Operational Semantics for CCS Based on Condition/Event Systems},
          number = {1/2},
          volume = {26},
        abstract = {A new set of inference rules for the guarded version of Milner?s Calculus of Communicating Systems 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, namely a Condition/Event system called {\ensuremath{\Sigma}}CCS, is immediately derived. Our construction gives a semantics which is consistent with the interleaving semantics of CCS and exhibits full parallelism. The proof consists of relating the case graph of {\ensuremath{\Sigma}}CCS with the original and with the multiset (step) transition systems of the calculus. },
             url = {http://eprints.imtlucca.it/384/}
}