@incollection{eprints129,
          series = {Lecture Notes in Computer Science},
           pages = {296--310},
       publisher = {Springer},
            year = {2004},
          author = {Michele Boreale and Maria Grazia Buscemi and Ugo Montanari},
           title = {D-Fusion: A Distinctive Fusion Calculus},
          editor = {Ngan Chin},
            note = {The final publication is available at www.springerlink.com},
       booktitle = {Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS?04)},
          volume = {3302},
             url = {http://eprints.imtlucca.it/129/},
        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, {\ensuremath{\lambda}} and {\ensuremath{\nu}}. 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.}
}