Event structure semantics for CCS and related languages

  • Glynn Winskel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 140)


Event Structure Parallel Composition Closed Term Synchronous Product Prime Event Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BC]
    G. Berry, P.L. Curien, “Sequential algorithms on concrete data structures,” to appear in TCS.Google Scholar
  2. [F]
    T. Fogh, “En semantik for synkroniserede parallelle processer,” Master's Thesis, Aarhus University, 1981.Google Scholar
  3. [H]
    C.A.R. Hoare, “A Model for Communicating Sequential Processes,” Programming Research Group, Oxford University, 1978.CrossRefGoogle Scholar
  4. [KP]
    G. Kahn, G. Plotkin, “Structures de Données concrètes,” IRIA-Laboria Report 336, 1978.Google Scholar
  5. [LTS]
    P.E. Lauer, P.R. Torrigiani, M.W. Shields, “COSY: A System Specification Language based on Paths and Processes,” Acta Informatica 12, 1979.Google Scholar
  6. [Mac]
    S. Maclane, “Categories for the working mathematician,” Springer-Verlag, 1971.Google Scholar
  7. [Mi]
    G.J. Milne, “Synchronised Behaviour Algebras: a model for interacting systems,” Dept. of Comp. Sc., University of Southern California, 1979.Google Scholar
  8. [M1]
    R. Milner, “A Calculus of Communicating Systems,” LNCS 92, 1980.Google Scholar
  9. [M2]
    R. Milner, “On relating Synchrony and Asynchrony,” Dept. of Comp. Sc., University of Edinburgh, 1980.Google Scholar
  10. [MS]
    U. Montanari, C. Simonelli, “On distinguishing between concurrency and nondeterminism,” Proc. Ecole de Printemps on Concurrency and Petri Nets, Colleville, 1980 (to appear).Google Scholar
  11. [NPW1]
    M. Nielsen, G. Plotkin, G. Winskel, “Petri nets, event structures and domains,” Proc. Conf. on Semantics of Concurrent Computation, Evian, LNCS 70, 1979.Google Scholar
  12. [NPW2]
    M. Nielsen, G. Plotkin, G. Winskel, “Petri nets, event structures and domains, part I,” TCS 13, 1981.MathSciNetCrossRefGoogle Scholar
  13. [NT]
    W. Brauer (ed.), “Net Theory and Applications,” LNCS 84, 1980.Google Scholar
  14. [S]
    D.S. Scott, “Lectures on a Mathematical Theory of Computation,” Lecture notes in mathematics, University of Oxford, 1980.Google Scholar
  15. [W]
    G. Winskel, “Events in Computation,” Ph.D. Thesis, Dept. of Comp-Sc, University of Edinburgh, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Glynn Winskel
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhusDenmark

Personalised recommendations