A Classification of Models for Concurrency
A Classification of Models for Concurrency
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.
models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency models
3-540-57208-2
82-96
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Winskel, G.
a0a8355f-89ee-41c5-8195-44ee6c93f40f
1993
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Winskel, G.
a0a8355f-89ee-41c5-8195-44ee6c93f40f
Sassone, V., Nielsen, M. and Winskel, G.
(1993)
A Classification of Models for Concurrency.
4th International Conference on Concurrency Theory, CONCUR '93..
.
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
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: 10 Sep 2024 01:40
Export record
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