%0 Book Section
%A Boreale, Michele
%A Buscemi, Maria Grazia
%A Montanari, Ugo
%B Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04)
%D 2004
%E Chin, Ngan
%F eprints:129
%I Springer
%P 296-310
%S Lecture Notes in Computer Science
%T D-Fusion: A Distinctive Fusion Calculus
%U http://eprints.imtlucca.it/129/
%V 3302
%X 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.
%Z The final publication is available at www.springerlink.com