@inproceedings{86d9cf6c23ab4d3bb83af0acd55bafa4,
title = "A behavioural theory for a π-calculus with preorders",
abstract = "We study the behavioural theory of πP, a π-calculus in the tradition of Fusions and Chi calculi. In contrast with such calculi, reduction in πP generates a preorder on names rather than an equivalence relation. We present two characterisations of barbed congruence in πP: the first is based on a compositional LTS, and the second is an axiomatisation. The results in this paper bring out basic properties of πP, mostly related to the interplay between the restriction operator and the preorder on names. Consequently, πP is a calculus in the tradition of Fusion calculi, in which both types and behavioural equivalences can be exploited in order to reason rigorously about concurrent and mobile systems.",
author = "Daniel Hirschkoff and Madiot, \{Jean Marie\} and Xian Xu",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2015.; 6th International Conference on Fundamentals of Software Engineering, FSEN 2015 ; Conference date: 22-04-2015 Through 24-04-2015",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-24644-4\_10",
language = "English",
isbn = "9783319246437",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "143--158",
editor = "Mehdi Dastani and Marjan Sirjani",
booktitle = "Fundamentals of Software Engineering - 6th International Conference, FSEN 2015, Revised Selected Papers",
}