Since 2014
Transition Systems with Independence and Multi-Arcs
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Transition Systems with Independence and Multi-Arcs
|
|
| Creator |
Hildebrandt, Thomas Troels
Sassone, Vladimiro |
|
| Description |
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) labelled asynchronous transition systems.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-01-10
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/18801
10.7146/brics.v4i10.18801 |
|
| Source |
BRICS Report Series; No 10 (1997): RS-10 Transition Systems with Independence and Multi-Arcs
BRICS Report Series; Nr. 10 (1997): RS-10 Transition Systems with Independence and Multi-Arcs 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/18801/16446
|
|