Sassone, V., Nielsen, M. and Winskel, G.
Models for Concurrency: Towards a Classification
Theoretical Computer Science, 170, (1-2), .
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. In this paper, we move a step towards a classification of models for concurrency based on the parameters above. Formally, we choose a representative of any of the eight classes of models obtained by varying the three parameters, and we study the formal relationships between using the language of category theory.
||models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models
||Web & Internet Science
||26 Jan 2006
||17 Apr 2017 21:52
|Further Information:||Google Scholar|
Actions (login required)