A Theory for the Composition of Concurrent Processes

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 together with a congruence theorem.
Type de document :
Communication dans un congrès
Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. Lecture Notes in Computer Science, LNCS-9688, pp.175-194, 2016, Formal Techniques for Distributed Objects, Components, and Systems. <10.1007/978-3-319-39570-8_12>
Liste complète des métadonnées

https://hal.inria.fr/hal-01432917
Contributeur : Hal Ifip <>
Soumis le : jeudi 12 janvier 2017 - 11:34:17
Dernière modification le : mercredi 12 avril 2017 - 01:10:04

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ludovic Henrio, Eric Madelaine, Min Zhang. A Theory for the Composition of Concurrent Processes. Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. Lecture Notes in Computer Science, LNCS-9688, pp.175-194, 2016, Formal Techniques for Distributed Objects, Components, and Systems. <10.1007/978-3-319-39570-8_12>. <hal-01432917>

Partager

Métriques

Consultations de la notice

89