CCS is an (augmented) contact free C/E system

  • Pierpaolo Degano
  • Rocco De Nicola
  • Ugo Montanari
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 280)


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.


Inference Rule Operational Semantic Denotational Semantic Derivation Relation Causal Dependency 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    De Cindio, F., De Michelis, G., Pomello, L. and Simone C.: Milner's Communicating Systems and Petri Nets. In: Selected papers from the 3 rd European Workshop on Applications and Theory of Petri Nets, Informatik Fachberichte 66, pp. 40–59, Springer-Verlag, 1983.Google Scholar
  2. 2.
    Degano, P., De Nicola, R. and Montanari, U.: Partial Ordering Derivations for CCS. Proc. 5th Int. Conf. on Fundamentals of Computation Theory (L. Budah, ed.), LNCS 199, pp. 520–523, Springer-Verlag, 1985.Google Scholar
  3. 3.
    Degano, P., De Nicola, R. and Montanari, U.: Observational Equivalences for Concurrency Models. To appear in Proc. IFIP Workshop on Formal Description of Programming Concepts, Ebberup (Dk), 1986 (M. Wirsing, ed.), North-Holland.Google Scholar
  4. 4.
    Degano, P., De Nicola, R. and Montanari, U.: A Partial Ordering Semantics for CCS, forthcoming.Google Scholar
  5. 5.
    Degano, P. and Montanari, U.: Concurrent Histories: A Basis for Observing Distributed Systems. To appear in Journal of Computer and System Sciences.Google Scholar
  6. 6.
    Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S.: Elements of General Net Theory. In: Net Theory and Applications (W. Brauer, ed.) LNCS 84, pp. 21–163, Springer-Verlag, 1980.Google Scholar
  7. 7.
    Goltz, U. and Mycroft, A.: On the Relationships of CCS and Petri Nets. Proc. 11th ICALP (J. Paredaens, ed.), LNCS 172, pp. 196–208, Springer-Verlag, 1984.Google Scholar
  8. 8.
    Milner, R.: A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.Google Scholar
  9. 9.
    Plotkin, G.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, Department of Computer Science, Aarhus, 1981.Google Scholar
  10. 10.
    Reisig, W.: Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.Google Scholar
  11. 11.
    Winskel, G.: Event Structure Semantics for CCS and Related Languages, Proc. 9th ICALP (M. Nielsen and E. M. Schmidt, eds.), LNCS 140, pp. 561–567, Springer-Verlag, 1982.Google Scholar
  12. 12.
    Winskel, G.: A New Definition of Morphism on Petri Nets, Proc. 1st Symposium on Theoretical Aspects of Computer Science, (M. Fontet and K. Melhorn, eds.), LNCS 166, pp. 140–150, Springer-Verlag, 1984.Google Scholar
  13. 13.
    Winskel, G.: Categories of Models of Concurrency, Proc. Seminar on Concurrency, (S.D. Brookes, A.W. Roscoe, G. Winskel, eds.), LNCS 197, pp. 246–267, Springer-Verlag, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Pierpaolo Degano
    • 1
  • Rocco De Nicola
    • 2
  • Ugo Montanari
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisa
  2. 2.Istituto di Elaborazione dell'Informazione, C.N.R.Pisa

Personalised recommendations