Relationships between Models of Concurency

Authors

  • Mogens Nielsen
  • Vladimiro Sassone
  • Glynn Winskel

DOI:

https://doi.org/10.7146/dpb.v22i456.6929

Abstract

Models for concurrency can be classified with respect to the three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. The classifications are formalized through the medium of category theory.

Author Biographies

Mogens Nielsen

Vladimiro Sassone

Glynn Winskel

Downloads

Published

1993-12-01

How to Cite

Nielsen, M., Sassone, V., & Winskel, G. (1993). Relationships between Models of Concurency. DAIMI Report Series, 22(456). https://doi.org/10.7146/dpb.v22i456.6929

Issue

No. 456 (1993): PB-456 Relationships between Models of Concurency

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.