Transition Systems with Independence and Multi-Arcs
Hildebrandt, T. and Sassone, V. (1997) Transition Systems with Independence and Multi-Arcs. In, Partial Order Methods in Verification, POMIV '96 American Mathematical Society Press, 273-288.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (158Kb) |
Description/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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Keywords: | true concurrency, models for concurrency, semantics of concurrency, transition systems |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 261823 |
| Date Deposited: | 05 Feb 2006 |
| Last Modified: | 02 Mar 2012 11:39 |
| Contributors: | Hildebrandt, T. (Author) Sassone, V. (Author) Peled, D. (Editor) Pratt, V. (Editor) Holzmann, G. (Editor) |
| Date: | 1997 |
| Status: | Published |
| Publisher: | American Mathematical Society Press |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261823 |
Actions (login required)
 |
View Item |
