A Classification of Models for Concurrency

Sassone, V., Nielsen, M. and Winskel, G. (1993) A Classification of Models for Concurrency. In, 4th International Conference on Concurrency Theory, CONCUR '93. Springer, 82-96.


[img] PDF
Download (187Kb)


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.

Item Type: Conference or Workshop Item (Paper)
ISBNs: 3540572082
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: 261946
Date Deposited: 12 Feb 2006
Last Modified: 27 Mar 2014 20:05
Publisher: Springer
Further Information:Google Scholar
ISI Citation Count:25
URI: http://eprints.soton.ac.uk/id/eprint/261946

Actions (login required)

View Item View Item