Mobile Calculi based on Domains


D-Fusion: a Distinctive Fusion Calculus

M. Boreale and M. Buscemi and U. Montanari

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, 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.

@InProceedings\{boreale.buscemi.montanari:d-fusion-calculus,
  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 = \{http://mikado.di.fc.ul.pt/repository/boreale.buscemi.montanari_d-fusion-calculus.pdf}
}


About this site. Last modified: Wed Nov 22 08:33:38 CET 2017