A Classification of Models for Concurrency

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

Record type: Conference or Workshop Item (Paper)

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.

Text

thecube-conc-fin.pdf - Other

Download (192kB)

More information

Published date: 1993

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

Identifiers

Local EPrints ID: 261946

URI: http://eprints.soton.ac.uk/id/eprint/261946

ISBN: 3-540-57208-2

PURE UUID: 3e13b584-5f11-4331-b738-42fb5948ff87

Catalogue record

Date deposited: 12 Feb 2006

Last modified: 14 Mar 2024 07:02

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: V. Sassone

Author: M. Nielsen

Author: G. Winskel

Download statistics

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

Library staff additional information