Michele Boreale, Maria Grazia Buscemi, Ugo Montanari  Home/Search
Context
Related
| mikado.di.fc.ul.pt...usioncalculus.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mikado.di.fc.ul.pt/o...papers.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Active bibliography (related documents): More All
0.6: Explicit Fusions - Wischik, Gardner (2000) (Correct)
0.3: On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2002) (Correct)
0.3: Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
Similar documents based on text: More All
0.8: A General Name Binding Mechanism - Michele Boreale Maria (Correct)
0.4: Symbolic Analysis of Crypto-Protocols Based on Modular.. - Boreale, Buscemi (2003) (Correct)
0.4: A Framework for the Analysis of Security Protocols - Boreale, Buscemi (2001) (Correct)
BibTeX entry: (Update)
@misc{ boreale-dfusion,
author = "Michele Boreale and Maria Grazia Buscemi and Ugo Montanari",
title = "D-Fusion: a Distinctive Fusion Calculus",
url = "citeseer.ist.psu.edu/724062.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
344 Concurrent Constraint Programming (context) - Saraswat - 1993 ACM DBLP
248 Expressing Mobility (context) - Sangiorgi - 1992
247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989 ACM DBLP
197 Barbed Bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
73 Comparing the Expressive Power of the Synchronous and the As.. - Palamidessi - 1997
73 Comparing the Expressive Power of the Synchronous and the As.. - Palamidessi - 2003
68 Unification under a mixed prefix (context) - Miller - 1992 ACM DBLP
61 The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - Parrow, Victor - 1998 DBLP
61 The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - Victor - 1998 DBLP
43 The Polyadic pi-Calculus: a Tutorial - Milner - 1991
14 A Proof Theoretical Approach to Communication (context) - Fu - 1997 ACM DBLP
13 Theoretical Computer Science (context) - Gardner, Wischik ACM
7 The Update Calculus - Parrow, Victor - 1997
6 the Expressive Power of Polyadic Synchronisation in Pi-Calcu.. - Carbone, Maffeis
4 Information and Computation (context) - Nestmann, Pierce et al. - 2000 DBLP
3 A Theory of Bisimulation for the pi-Calculus - Sangiorgi - 1996 ACM DBLP
3 and Fusion calculi (context) - Merro, Expressiveness et al. - 1998
1 extended abstract (context) - Gardner, Laneve et al. - 2002
1 Highwire Language Specification Version (context) - Meredith, Bjorg et al.
http://www.w3.org/TR/wsdl12
http://www.microsoft.com/biztalk
Documents on the same site (http://mikado.di.fc.ul.pt/output/papers.php): More
Global Computing in a Dynamic Network of Tuple Spaces - De Nicola, Gorla, Pugliese (2005) (Correct)
Process Calculi and the Verification of Security Protocols - Boreale, Gorla (2002) (Correct)
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC