Transition Systems with Independence and Multi-Arcs

Forfattere

  • Thomas Troels Hildebrandt
  • Vladimiro Sassone

DOI:

https://doi.org/10.7146/brics.v4i10.18801

Resumé

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.

Downloads

Publiceret

1997-01-10

Citation/Eksport

Hildebrandt, T. T., & Sassone, V. (1997). Transition Systems with Independence and Multi-Arcs. BRICS Report Series, 4(10). https://doi.org/10.7146/brics.v4i10.18801