@inproceedings{b142adad11e94d90bc3526bae95f9fdf,
title = "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.",
author = "Ludovic Henrio and Eric Madelaine and Min Zhang",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2016.; 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 ; Conference date: 06-06-2016 Through 09-06-2016",
year = "2016",
doi = "10.1007/978-3-319-39570-8\_12",
language = "英语",
isbn = "9783319395692",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "175--194",
editor = "Elvira Albert and Ivan Lanese",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings",
address = "德国",
}