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), 297-348.


[img] PDF
Download (2244Kb)


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
Keywords: models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261819
Date Deposited: 26 Jan 2006
Last Modified: 27 Mar 2014 20:04
Publisher: Elsevier
Further Information:Google Scholar
ISI Citation Count:25

Actions (login required)

View Item View Item