Advertisement

CCS — and its relationship to net theory

  • Mogens Nielsen
Section 8 Relationship To Other Models Of Concurrency
Part of the Lecture Notes in Computer Science book series (LNCS, volume 255)

Abstract

In this paper we give a short introduction to Milner's Calculus for Communicating Systems — a paradigm for concurrent computation. We put special emphasis on the basic concepts and tools from the underlying "algebraic approach", and their relationship to the approach to concurrency within net theory. Furthermore, we provide an operational version of the language CCS with "true concurrency" in the sense of net theory, and a discussion of the possible use of such a marriage of the two theories of concurrency.

Keywords

CCS observational equivalence Petri Nets concurrency 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abr 81]
    S. Abramsky: Eliminating Local Non-Determinism, a New Semantics for CCS, Computer Systems Laboratory, Queen Mary College, Report No. 290, 1981.Google Scholar
  2. [DNM 86]
    P. Degano, R. De Nicola, U. Montanari: Observational Equivalences for Concurrency Models, 3rd Working Conference on the Formal Description of Programming Concepts, (to be published by North-Holland), 1986.Google Scholar
  3. [Maz 86]
    A. Mazurkiewics: Trace Theory, this volume.Google Scholar
  4. [Mil 80]
    R. Milner: A Calculus of Communicating Systems, Springer LNCS 92, 1980.Google Scholar
  5. [Mil 84]
    R. Milner: Lectures on a Calculus of Communicating Systems, in Seminar on Concurrency, Springer LNCS 197, 197–221, 1984.Google Scholar
  6. [NH 84]
    R. De Nicola, M. Hennessy: Testing Equivalences for Processes, Theoretical Computer Science, 34, 83–134, 1984.Google Scholar
  7. [NT 84]
    M. Nielsen, P.S. Thiagarajan: Degrees of Non-Determinism and Concurrency: A Petri Net View, Springer LNCS 181, 89–118, 1984.Google Scholar
  8. [Old 86]
    E.R. Olderog: TCSP, Theory of Communicating Sequential Processes, in this volume.Google Scholar
  9. [Plo 81]
    G.D. Plotkin: Structural Approach to Operational Semantics, Computer Science Department, Aarhus University, Report No. FN-19, 1981.Google Scholar
  10. [Roz 86]
    G. Rozenberg: Behaviour of Elementary Net Systems, in this volume.Google Scholar
  11. [Sti 85]
    C. Stirling: Modal Logics for Communicating Systems, Dept. of Computer Science, University of Edinburgh, Report No. CSR-193-85, 1985.Google Scholar
  12. [Thi 86]
    P.S. Thiagarajan: Elementary Net Systems, in this volume.Google Scholar
  13. [Win 86]
    G. Winskel: Event Structures, in this volume.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Mogens Nielsen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations