Relationships between Models for Concurrency


Nielsen, M., Sassone, V. and Winskel, G. (1994) Relationships between Models for Concurrency At REX School '93. A Decade of Concurrency: Reflections and Perspectives.. , pp. 425-476.

Download

[img] PDF REX.pdf - Other
Download (470kB)

Description/Abstract

Models for concurrency can be classified with respect to 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.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: REX School '93. A Decade of Concurrency: Reflections and Perspectives., 1994-01-01
Keywords: models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency modelsmodels for concurrency, categorical relationships between concurrency models
Organisations: Web & Internet Science
ePrint ID: 261948
Date :
Date Event
1994Published
Date Deposited: 12 Feb 2006
Last Modified: 17 Apr 2017 21:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261948

Actions (login required)

View Item View Item