A Theory for the Composition of Concurrent Processes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

A Theory for the Composition of Concurrent Processes

Résumé

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 together with a congruence theorem.
Fichier principal
Vignette du fichier
426757_1_En_12_Chapter.pdf (563.18 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01432917 , version 1 (12-01-2017)

Licence

Paternité

Identifiants

Citer

Ludovic Henrio, Eric Madelaine, Min Zhang. A Theory for the Composition of Concurrent Processes. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩. ⟨hal-01432917⟩
305 Consultations
155 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More