<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "D-Fusion: A Distinctive Fusion Calculus"^^ . "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."^^ . "2004" . "3302" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Ngan"^^ . "Chin"^^ . "Ngan Chin"^^ . . . . . "HTML Summary of #129 \n\nD-Fusion: A Distinctive Fusion Calculus\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .