Relationships between Models of Concurency

Forfattere

  • Mogens Nielsen
  • Vladimiro Sassone
  • Glynn Winskel

DOI:

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

Resumé

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.

Forfatterbiografier

Mogens Nielsen

Vladimiro Sassone

Glynn Winskel

Downloads

Publiceret

1993-12-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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