文献类型：会议论文

英文题名：A Behavioural Theory for a π-calculus with Preorders

作者：Hirschkoff, Daniel[1];Madiot, Jean-Marie[1];Xu, Xian[2]

机构：[1]Univ Lyon, ENS Lyon, CNRS, INRIA, Lyon, France;[2]E China Univ Sci & Technol, Shanghai 200237, Peoples R China

会议论文集：6th IPM International Conference on Fundamentals of Software Engineering (FSEN)

会议日期：APR 22-24, 2015

会议地点：Tehran, IRAN

语种：英文

外文关键词：Biomineralization - Pathology

摘要：We study the behavioural theory of pi P, a pi-calculus in the tradition of Fusions and Chi calculi. In contrast with such calculi, reduction in pi P generates a preorder on names rather than an equivalence relation. We present two characterisations of barbed congruence in pi 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 pi P, mostly related to the interplay between the restriction operator and the preorder on names. Consequently, pi 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.