D-Fusion: a Distinctive Fusion Calculus

Abstract

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, l and n. We show that DFusion 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.

@InProceedings\{boreale.buscemi.montanari:d-fusion-calculus, author = \{M. Boreale and M. Buscemi and U. Montanari}, title = \{D-Fusion: a Distinctive Fusion Calculus}, booktitle = \{Proc. of APLAS04}, year = \{2004}, volume = \{3302}, series = \{LNCS}, publisher = \{Springer}, url = \{http://mikado.di.fc.ul.pt/repository/boreale.buscemi.montanari_d-fusion-calculus.pdf} }

About this site. Last modified: Wed Sep 20 21:59:17 CEST 2017