Skip to main content
SpringerLink
Log in

Categories of models for concurrency

  • Conference paper
  • First Online:
Seminar on Concurrency (CONCURRENCY 1984)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramsky, S., Domain theory as a theory of experiments. In this proceedings (1984).

    Google Scholar 

  2. Abramsky, S., Ph. D. thesis, University of London. In preparation.

    Google Scholar 

  3. Aczel, P., An introduction to inductive definitions. In the handbook of Mathematical Logic, Ed. Barwise, J., North-Holland (1983).

    Google Scholar 

  4. Arbib, M.A.,and Manes,E.G., Arrows, Structures and Functors, The categorical imperative. Academic Press (1975).

    Google Scholar 

  5. Brooks, S.D., On the relationship of CCS and CSP, ICALP 1983.

    Google Scholar 

  6. Brauer, W.(Ed.), Net Theory and Applications, Springer-Verlag Lecture Notes in Comp. Sci., vol.84 (1980).

    Google Scholar 

  7. Campbell, R. H., and Habermann, A. N.,, The Specification of Process Synchronisation by Path Expressions. Springer-Verlag Lecture Notes in Comp. Sc. Vol.16 (1974).

    Google Scholar 

  8. Goltz, U. and Reisig, W., Processes of Place/Transition Nets. Icalp 83 and to appear in Information and Control.

    Google Scholar 

  9. Goltz, U. and Mycroft, A., On the relationship of CCS and Petri nets. ICALP 84 Springer-Verlag Lecture Notes in Comp. Sc. Vol.172 (1984).

    Google Scholar 

  10. Hoare, C.A.R., Communicating sequential processes. Comm. ACM 21 (1978).

    Google Scholar 

  11. Hoare, C.A.R., Brookes,S.D., and Roscoe, A.W., A Theory of Communicating Processes, Technical Report PRG-16, Programming Research Group, University of Oxford (1981); in JACM (1984).

    Google Scholar 

  12. Lehmann, D., Categories for fixed-point semantics. FOCS 17 (1976).

    Google Scholar 

  13. Lauer, P. E. and Campbell, R. H., Formal semantics for a class of high-level primitives for coordinating concurrent processes. Acta Informatica 5 pp.297–332 (1974).

    Google Scholar 

  14. Labella, A., and Peterossi, A., Towards a Categorical Understanding of Parallelism. Report of Istituto di Analisi dei Sistemi ed Informatica del C.N.R., Rome (1983).

    Google Scholar 

  15. Larsen, K. and Winskel, G., Using Information Systems to solve Recursive Domain Equations Effectively. Springer Lecture Notes in Comp. Sc., vol. 173 (1984).

    Google Scholar 

  16. Maclane, S., Categories for the Working Mathematician. Graduate Texts in Mathematics,Springer (1971).

    Google Scholar 

  17. Milner, R., A Calculus of Communicating Systems. Springer Lecture Notes in Comp. Sc. vol. 92 (1980).

    Google Scholar 

  18. Milner, R., Calculi for synchrony and asynchrony, Theoretical Computer Science, pp.267–310 (1983).

    Google Scholar 

  19. Milne, G., CIRCAL and the representation of communication, concurrency and time. Report of Comp Sc Dept, University of Edinburgh (1983).

    Google Scholar 

  20. Nielsen, M., Plotkin, G., Winskel, G., Petri nets, Event structures and Domains, part 1. Theoretical Computer Science, vol. 13 (1981).

    Google Scholar 

  21. Pratt, V. R., On the composition of processes. ACM, Stanford University (1982), and see the paper in this proceedings.

    Google Scholar 

  22. Peterson, J. L., Petri Net Theory and the Modelling of Systems. Prentice-Hall (1981).

    Google Scholar 

  23. Reisig, W., Petri nets. Springer Lecture Notes in Comp. Sc., to appear.

    Google Scholar 

  24. Scott, D., Domains for Denotational Semantics, Springer-Verlag Lecture Notes in Comp. Sc. 140 (1982).

    Google Scholar 

  25. Shields, M., Non-sequential behaviours: 1 and 2. Reports of the Comp. Sc. Dept., University of Edinburgh (part 1: 1982, part 2: 1983).

    Google Scholar 

  26. Student projects for the course “Models for Concurrency”, Computer Science Dept., University of Aarhus, Denmark (1980).

    Google Scholar 

  27. Smyth, M.B., Power domains and predicate transformers: a topological view. Proc. of ICALP 83, Springer Lecture Notes in Comp. Sc. vol. 154 (1983).

    Google Scholar 

  28. Winskel, G., Events in Computation. Ph.D. thesis, University of Edinburgh (1980).

    Google Scholar 

  29. Winskel, G., Event structure semantics of CCS and related languages, Springer-Verlag Lecture Notes in Comp. Sc. 140 and as a report of the Computer Sc. Dept., University of Aarhus, Denmark (1982).

    Google Scholar 

  30. Winskel, G., Synchronisation trees. Technical Report, Comp. Sc. Dept., Carnegie-Mellon University (1983).To appear in Theoretical Computer Science.

    Google Scholar 

  31. Winskel, G., A New Definition of Morphism on Petri Nets. Springer Lecture Notes in Comp Sc, vol. 166 and also as a report of the Computer Laboratory, University of Cambridge (1984).

    Google Scholar 

  32. Winskel, G., A note on powerdomains and modality. Springer Lecture Notes in Comp Sc, vol. 158 (1984).

    Google Scholar 

  33. Winskel, G., A complete proof system for SCCS with modal assertions. In preparation.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Laboratory, University of Cambridge, Corn Exchange Street, CB2 3QG, Cambridge

    Glynn Winskel

Authors
  1. Glynn Winskel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stephen D. Brookes Andrew William Roscoe Glynn Winskel

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag

About this paper

Cite this paper

Winskel, G. (1985). Categories of models for concurrency. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds) Seminar on Concurrency. CONCURRENCY 1984. Lecture Notes in Computer Science, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15670-4_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-15670-4_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15670-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation