Models for Concurrency: Towards a Classification

Sassone, V., Nielsen, M. and Winskel, G. (1996) Models for Concurrency: Towards a Classification Theoretical Computer Science, 170, (1-2), pp. 297-348.


[img] PDF thecube-Off.pdf - Other
Download (2MB)


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.

Item Type: Article
ISSNs: 0304-3975 (print)
Keywords: models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models
Organisations: Web & Internet Science
ePrint ID: 261819
Date :
Date Event
Date Deposited: 26 Jan 2006
Last Modified: 17 Apr 2017 21:52
Further Information:Google Scholar

Actions (login required)

View Item View Item