Transition Systems with Independence and Multi-Arcs
Transition Systems with Independence and Multi-Arcs
We extend the model of transition systems with independence in order to provide it with a feature relevant in the noninterleaving analysis of concurrent systems, namely multi-arcs. Moreover, we study the relationships between the category of transition systems with independence and multi-arcs and the category of labeled asynchronous transition systems, extending the results recently obtained by the authors for (simple) transition systems with independence (cf. Proc. CONCUR'96), and yielding a precise characterisation of transition systems with independence and multi-arcs in terms of (event-maximal, diamond-extensional) labeled asynchronous transition systems.
true concurrency, models for concurrency, semantics of concurrency, transition systems
273-288
Hildebrandt, T.
5644eca7-b250-460f-87ee-ebda22751252
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Peled, D.
6982ccce-d1eb-42be-bf96-f5e3c5b172c0
Pratt, V.
0dc273ee-c0de-42f2-8c50-954145b00153
Holzmann, G.
af0aa52a-39b1-45bc-9354-5647bf245b0c
1997
Hildebrandt, T.
5644eca7-b250-460f-87ee-ebda22751252
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Peled, D.
6982ccce-d1eb-42be-bf96-f5e3c5b172c0
Pratt, V.
0dc273ee-c0de-42f2-8c50-954145b00153
Holzmann, G.
af0aa52a-39b1-45bc-9354-5647bf245b0c
Hildebrandt, T. and Sassone, V.
(1997)
Transition Systems with Independence and Multi-Arcs.
Peled, D., Pratt, V. and Holzmann, G.
(eds.)
Partial Order Methods in Verification, POMIV '96.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
We extend the model of transition systems with independence in order to provide it with a feature relevant in the noninterleaving analysis of concurrent systems, namely multi-arcs. Moreover, we study the relationships between the category of transition systems with independence and multi-arcs and the category of labeled asynchronous transition systems, extending the results recently obtained by the authors for (simple) transition systems with independence (cf. Proc. CONCUR'96), and yielding a precise characterisation of transition systems with independence and multi-arcs in terms of (event-maximal, diamond-extensional) labeled asynchronous transition systems.
Text
tsim-pomiv.pdf
- Other
More information
Published date: 1997
Venue - Dates:
Partial Order Methods in Verification, POMIV '96, 1997-01-01
Keywords:
true concurrency, models for concurrency, semantics of concurrency, transition systems
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 261823
URI: http://eprints.soton.ac.uk/id/eprint/261823
PURE UUID: 3a47cb54-11a6-4562-a92e-2f38d9644831
Catalogue record
Date deposited: 05 Feb 2006
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
T. Hildebrandt
Author:
V. Sassone
Editor:
D. Peled
Editor:
V. Pratt
Editor:
G. Holzmann
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