We study the relative expressive power of Fusion and pi-calculus. Fusion is commonly regarded as a generalisation of pi-calculus. Actually, we prove that there is no uniform fully abstract embedding of pi-calculus into Fusion. This fact motivates the introduction of a new calculus, D-Fusion, with two binders, λ and ν. We show that D-Fusion is strictly more expressive than both pi-calculus and Fusion. The expressiveness gap is further clarified by the existence of a fully abstract encoding of mixed guarded choice into the choice-free fragment of D-Fusion. © Springer-Verlag 2004.
CITATION STYLE
Boreale, M., Buscemi, M. G., & Montanari, U. (2004). D-fusion: A distinctive fusion calculus. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3302, 296–310. https://doi.org/10.1007/978-3-540-30477-7_20
Mendeley helps you to discover research relevant for your work.