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