Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on Automata, Languages, and Programming

ICALP 1982: Automata, Languages and Programming pp 561–576Cite as

Event structure semantics for CCS and related languages

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 140))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Berry, P.L. Curien, “Sequential algorithms on concrete data structures,” to appear in TCS.

    Google Scholar 

  2. T. Fogh, “En semantik for synkroniserede parallelle processer,” Master's Thesis, Aarhus University, 1981.

    Google Scholar 

  3. C.A.R. Hoare, “A Model for Communicating Sequential Processes,” Programming Research Group, Oxford University, 1978.

    Chapter  Google Scholar 

  4. G. Kahn, G. Plotkin, “Structures de Données concrètes,” IRIA-Laboria Report 336, 1978.

    Google Scholar 

  5. 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. S. Maclane, “Categories for the working mathematician,” Springer-Verlag, 1971.

    Google Scholar 

  7. G.J. Milne, “Synchronised Behaviour Algebras: a model for interacting systems,” Dept. of Comp. Sc., University of Southern California, 1979.

    Google Scholar 

  8. R. Milner, “A Calculus of Communicating Systems,” LNCS 92, 1980.

    Google Scholar 

  9. R. Milner, “On relating Synchrony and Asynchrony,” Dept. of Comp. Sc., University of Edinburgh, 1980.

    Google Scholar 

  10. 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. 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. M. Nielsen, G. Plotkin, G. Winskel, “Petri nets, event structures and domains, part I,” TCS 13, 1981.

    Article  MathSciNet  Google Scholar 

  13. W. Brauer (ed.), “Net Theory and Applications,” LNCS 84, 1980.

    Google Scholar 

  14. D.S. Scott, “Lectures on a Mathematical Theory of Computation,” Lecture notes in mathematics, University of Oxford, 1980.

    Google Scholar 

  15. G. Winskel, “Events in Computation,” Ph.D. Thesis, Dept. of Comp-Sc, University of Edinburgh, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Aarhus University, Aarhus, Denmark

    Glynn Winskel

Authors
  1. Glynn Winskel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mogens Nielsen Erik Meineche Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Winskel, G. (1982). Event structure semantics for CCS and related languages. In: Nielsen, M., Schmidt, E.M. (eds) Automata, Languages and Programming. ICALP 1982. Lecture Notes in Computer Science, vol 140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012800

Download citation

  • DOI: https://doi.org/10.1007/BFb0012800

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11576-2

  • Online ISBN: 978-3-540-39308-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation