Deterministic Behavioural Models for Concurrency
Deterministic Behavioural Models for Concurrency
This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models are all proved equivalent in the rather strong sense of being equivalent as categories. The models are: deterministic labelled event structures, generalized trace languages in which the independence relation is context-dependent, and deterministic languages of pomsets.
deterministic models of concurrency, traces, deterministic event structures, categorical comparison between concurrency models
3-540-57182-5
682-692
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)
Deterministic Behavioural Models for Concurrency.
18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93..
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models are all proved equivalent in the rather strong sense of being equivalent as categories. The models are: deterministic labelled event structures, generalized trace languages in which the independence relation is context-dependent, and deterministic languages of pomsets.
Text
detmodels-mfcs-fin.pdf
- Other
More information
Published date: 1993
Venue - Dates:
18th International Symposium on the Mathematical Foundations of Computer Science, MFCS '93., 1993-01-01
Keywords:
deterministic models of concurrency, traces, deterministic event structures, categorical comparison between concurrency models
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261947
URI: http://eprints.soton.ac.uk/id/eprint/261947
ISBN: 3-540-57182-5
PURE UUID: e60e195f-bf54-45b0-ae38-9bff10bf22ff
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