# A Theory for the Composition of Concurrent Processes -Extended version

1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
Inria de Paris, CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Keywords :
Type de document :
Rapport
[Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23
Domaine :

Littérature citée [14 références]

https://hal.inria.fr/hal-01299562
Soumis le : jeudi 7 avril 2016 - 17:55:18
Dernière modification le : mercredi 31 janvier 2018 - 10:24:06
Document(s) archivé(s) le : lundi 14 novembre 2016 - 21:51:09

### Fichier

RR-8898.pdf
Fichiers produits par l'(les) auteur(s)

### Identifiants

• HAL Id : hal-01299562, version 1

### Citation

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〉

### Métriques

Consultations de la notice

## 289

Téléchargements de fichiers