Sassone, V., Nielsen, M. and Winskel, G.
A Classification of Models for Concurrency
At 4th International Conference on Concurrency Theory, CONCUR '93..
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 formalised through the medium of category theory.
Conference or Workshop Item
|Venue - Dates:
||4th International Conference on Concurrency Theory, CONCUR '93., 1993-01-01
||models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models
||Web & Internet Science
||12 Feb 2006
||17 Apr 2017 21:49
|Further Information:||Google Scholar|
Actions (login required)