Mobile Calculi based on Domains

D-Fusion: a Distinctive Fusion Calculus

M. Boreale and M. Buscemi and U. Montanari


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, l and n. We show that DFusion 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.

  author = \{M. Boreale and M. Buscemi and U. Montanari},
  title = \{D-Fusion: a Distinctive Fusion Calculus},
  booktitle = \{Proc. of APLAS04},
  year = \{2004}, 
  volume = \{3302}, 
  series = \{LNCS}, 
  publisher = \{Springer}, 
  url = \{}

About this site. Last modified: Tue Jun 19 17:54:36 CEST 2018