Remark on Some $$\pi $$ Variants

Jianxin Xue,Huan Long,Yuxi Fu
DOI: https://doi.org/10.1007/978-3-319-69483-2_11
2017-01-01
Abstract:Two \(\pi \) variants that restrict the use of received names are studied. For either variant the external characterization of the absolute equality is given using a family of bisimulations; the expressive completeness of the calculus is established; and a complete equational proof system is constructed. The relative expressiveness between the two variants and their relationship to \(\pi \) are revealed in terms of subbisimilarity.
What problem does this paper attempt to address?