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
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261823

Actions (login required)

View Item View Item

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