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 Mar 4 17:48:28 CET 2020