Nielsen, M., Sassone, V. and Winskel, G.
Relationships between Models for Concurrency
At REX School '93. A Decade of Concurrency: Reflections and Perspectives..
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.
Conference or Workshop Item
|Venue - Dates:
||REX School '93. A Decade of Concurrency: Reflections and Perspectives., 1994-01-01
||models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency modelsmodels for concurrency, categorical relationships between concurrency models
||Web & Internet Science
||12 Feb 2006
||17 Apr 2017 21:49
|Further Information:||Google Scholar|
Actions (login required)