A Classification of Models for Concurrency


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

Download

[img] PDF thecube-conc-fin.pdf - Other
Download (192kB)

Description/Abstract

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)
Venue - Dates: 4th International Conference on Concurrency Theory, CONCUR '93., 1993-01-01
Keywords: models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models
Organisations: Web & Internet Science
ePrint ID: 261946
Date :
Date Event
1993Published
Date Deposited: 12 Feb 2006
Last Modified: 17 Apr 2017 21:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261946

Actions (login required)

View Item View Item