eprintid: 129
rev_number: 7
eprint_status: archive
userid: 29
dir: disk0/00/00/01/29
datestamp: 2011-03-01 09:55:50
lastmod: 2011-07-11 14:33:43
status_changed: 2011-03-01 09:55:50
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Boreale, Michele
creators_name: Buscemi, Maria Grazia
creators_name: Montanari, Ugo
creators_id: 
creators_id: m.buscemi@imtlucca.it
creators_id: 
title: D-Fusion: A Distinctive Fusion Calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: The final publication is available at www.springerlink.com
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, λ 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.
date: 2004
date_type: published
series: Lecture Notes in Computer Science
volume: 3302
publisher: Springer
pagerange: 296-310
id_number: 10.1007/978-3-540-30477-7_20
refereed: TRUE
isbn: 3-540-23724-0
book_title: Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04)
editors_name: Chin, Ngan
official_url: http://dx.doi.org/10.1007/978-3-540-30477-7_20
funders: Research partially supported by FET-Global Computing projects PROFUNDIS and MIKADO.
citation:   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)