@inproceedings{41f5fe95ec3746a0b46ac461b2b4da47,
title = "PNets: An expressive model for parameterised networks of processes",
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 encode 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 for pNets.",
author = "Ludovic Henrio and Eric Madelaine and Min Zhang",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015 ; Conference date: 04-03-2015 Through 06-03-2015",
year = "2015",
doi = "10.1109/PDP.2015.70",
language = "英语",
series = "Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "492--496",
editor = "Johan Lilius and Masoud Daneshtalab and Mats Brorsson and Ville Leppanen and Marco Aldinucci",
booktitle = "Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015",
address = "美国",
}