TY  - CHAP
AV  - none
N1  - The final publication is available at www.springerlink.com
T3  - Lecture Notes in Computer Science
TI  - D-Fusion: A Distinctive Fusion Calculus
SP  - 296
Y1  - 2004///
UR  - http://dx.doi.org/10.1007/978-3-540-30477-7_20
M1  - 3302
A1  - Boreale, Michele
A1  - Buscemi, Maria Grazia
A1  - Montanari, Ugo
ED  - Chin, Ngan
SN  - 3-540-23724-0
EP  - 310
ID  - eprints129
N2  - 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.
PB  - Springer
T2  - Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS?04)
ER  -