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] 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 Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 261823
Date Deposited: 05 Feb 2006
Last Modified: 27 Mar 2014 20:04
Publisher: American Mathematical Society Press
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261823

Actions (login required)

View Item View Item