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.

Download

[img] PDF
Download (2244Kb)

Description/Abstract

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
Further Information:Google Scholar
ISI Citation Count:25
URI: http://eprints.soton.ac.uk/id/eprint/261819

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics