Skip to Main content Skip to Navigation
Reports

A Theory for the Composition of Concurrent Processes -Extended version

Ludovic Henrio 1 Eric Madelaine 2 Min Zhang 3
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
Laboratoire I3S - 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
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01299562
Contributor : Eric Madelaine Connect in order to contact the contributor
Submitted on : Thursday, April 7, 2016 - 5:55:18 PM
Last modification on : Wednesday, January 13, 2021 - 3:08:53 AM
Long-term archiving on: : Monday, November 14, 2016 - 9:51:09 PM

File

RR-8898.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01299562, version 1

Collections

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⟩

Share

Metrics

Record views

621

Files downloads

324