A Theory for the Composition of Concurrent Processes -Extended version - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2016

A Theory for the Composition of Concurrent Processes -Extended version

Une theorie pour la composition de processus concurrents - Version etendue

Abstract

In this paper, we provide a theory for the operators composing concurrent processes. Open pNets (parameterised networks of synchronised automata) are new semantic objects that we propose for defining the semantics of composition operators. This paper defines the operational semantics of open pNets, using ``open transitions'' that include symbolic hypotheses on the behaviour of the pNets ``holes''. We discuss when this semantics can be finite and how to compute it symbolically, and we illustrate this construction on a simple operator. This paper also defines a bisimulation equivalence between open pNets, and shows its decidability and compositionability.
Fichier principal
Vignette du fichier
RR-8898.pdf (1.02 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01299562 , version 1 (07-04-2016)

Identifiers

  • HAL Id : hal-01299562 , version 1

Cite

Ludovic Henrio, Eric Madelaine, Min Zhang. A Theory for the Composition of Concurrent Processes -Extended version. [Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23. ⟨hal-01299562⟩
468 View
166 Download

Share

Gmail Facebook Twitter LinkedIn More