HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)

Ludovic Henrio 1, * Eric Madelaine 1, * Min Zhang 2
* Corresponding author
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, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This article studies Parameterised Networks of Automata (pNets) from a theoretical perspective. We illustrate the expressiveness of pNets by showing how to express a wide range of classical constructs of (value-passing) process calculi, but also how we can easily express complex interaction patterns used in modern distributed systems. Our framework can model full systems, using (closed) hierarchies of pNets; we can also build (open) pNet systems expressing composition operators. Concerning more fundamental aspects, we define a strong bisimulation theory specifically for the pNet model, prove its properties, and illustrate it on some examples. One of the original aspects of the approach is to relate the compositional nature of pNets with the notion of bisimulation; this is exemplified by studying the properties of a flattening operator.
Complete list of metadata

Contributor : Eric Madelaine Connect in order to contact the contributor
Submitted on : Thursday, November 20, 2014 - 2:00:46 PM
Last modification on : Thursday, February 3, 2022 - 3:36:51 AM


Files produced by the author(s)


  • HAL Id : hal-01055091, version 2



Ludovic Henrio, Eric Madelaine, Min Zhang. pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version). [Research Report] RR-8579, INRIA. 2014, pp.23. ⟨hal-01055091v2⟩



Record views


Files downloads