Relationships between Models for Concurrency
Relationships between Models for Concurrency
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. The classifications are formalized through the medium of category theory.
models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency modelsmodels for concurrency, categorical relationships between concurrency models
3-540-58043-3
425-476
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Winskel, G.
a0a8355f-89ee-41c5-8195-44ee6c93f40f
1994
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Winskel, G.
a0a8355f-89ee-41c5-8195-44ee6c93f40f
Nielsen, M., Sassone, V. and Winskel, G.
(1994)
Relationships between Models for Concurrency.
REX School '93. A Decade of Concurrency: Reflections and Perspectives..
.
Record type:
Conference or Workshop Item
(Paper)
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. The classifications are formalized through the medium of category theory.
More information
Published date: 1994
Venue - Dates:
REX School '93. A Decade of Concurrency: Reflections and Perspectives., 1994-01-01
Keywords:
models for concurrency, event structures, traces, transition systems, transition systems with independence, categorical relationships between concurrency modelsmodels for concurrency, categorical relationships between concurrency models
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261948
URI: http://eprints.soton.ac.uk/id/eprint/261948
ISBN: 3-540-58043-3
PURE UUID: c154bb2f-0d80-4f1b-af70-cc5d69c5b366
Catalogue record
Date deposited: 12 Feb 2006
Last modified: 14 Mar 2024 07:02
Export record
Contributors
Author:
M. Nielsen
Author:
V. Sassone
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