relation: http://eprints.imtlucca.it/129/
title: D-Fusion: A Distinctive Fusion Calculus
creator: Boreale, Michele
creator: Buscemi, Maria Grazia
creator: Montanari, Ugo
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Chin, Ngan
date: 2004
type: Book Section
type: PeerReviewed
identifier:   Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo  D-Fusion: A Distinctive Fusion Calculus.   In:  Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04).   Lecture Notes in Computer Science, 3302 .  Springer, pp. 296-310.  ISBN 3-540-23724-0      (2004)  
relation: http://dx.doi.org/10.1007/978-3-540-30477-7_20
relation: 10.1007/978-3-540-30477-7_20