Joachim Parrow, Björn Victor  Home/Search
Context Related
| sics.se/~joachim/fusion.ps.gz 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: sics.se/~joachim/cv (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the fusion calculus as a significant step towards a canonical calculus of concurrency. It simplifies and extends the -calculus. The fusion calculus contains the polyadic -calculus as a proper subcalculus and thus inherits all its expressive power. The gain is that fusion contains actions akin to updating a shared state, and a scoping construct for bounding their effects. Therefore it is easier to represent computational models such as concurrent constraints formalisms. It is also... (Update)
Cited by: More
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (Correct)
History Dependent Automata - Montanari, Pistore (2001) (Correct)
Similar documents (at the sentence level): More
63.8%: The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1997) (Correct)
12.9%: Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (1998) (Correct)
11.0%: The Tau-Laws of Fusion - Parrow, Victor (Correct)
Active bibliography (related documents): More All
0.5: Communication Errors in the π-Calculus are Undecidable - Vasconcelos, Ravara (Correct)
0.2: On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (Correct)
0.2: The Fusion Calculus - Posse (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: A Note on Relativised Products of Modal Logics - Kurucz, Zakharyaschev (2003) (Correct)
0.1: Solos in Concert - Laneve, Victor (1999) (Correct)
0.1: The Concurrency Workbench: A Semantics Based Tool for the.. - Cleaveland, al. (1992) (Correct)
Related documents from co-citation: More All
22: Information and Computation (context) - Milner, Parrow et al. - 1992
22: Expressing Mobility (context) - Sangiorgi - 1993
20: Barbed bisimulation - Milner, Sangiorgi - 1992
BibTeX entry: (Update)
J. Parrow and B. Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proceedings of LICS'98. IEEE, Computer Society Press, June 1998. URL: http://www.docs.uu.se/~victor/tr/fusion.html. http://citeseer.ist.psu.edu/article/parrow98fusion.html More
@inproceedings{ parrow98fusion,
author = "Joachim Parrow and Bjorn Victor",
title = "The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes",
booktitle = "Logic in Computer Science",
pages = "176-185",
year = "1998",
url = "citeseer.ist.psu.edu/article/parrow98fusion.html" }
Citations (may not include all citations):297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1993
194 Functions as processes (context) - Milner - 1992 ACM DBLP
179 The lazy lambda calculus - Abramsky - 1989 ACM
89 Calculi for interaction - Milner - 1996 DBLP
61 The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - Victor - 1998 DBLP
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1997 DBLP
52 Towards a lambda-calculus for concurrent and communicating s.. (context) - Boudol - 1989 ACM DBLP
52 The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1994 ACM DBLP
49 A theory of bisimulation for the - calculus (context) - Sangiorgi - 1996
46 Calculi for Higher Order Communicating Systems (context) - Thomsen - 1990
44 internal mobility and agent-passing calculi (context) - Sangiorgi - 1996 ACM DBLP
42 Algebraic theories for name-passing calculi - Parrow, Sangiorgi - 1995 ACM DBLP
31 calculus in direct style (context) - Boudol - 1997
28 Constraints for free in concurrent computation - Niehren, Muller - 1995 ACM DBLP
21 The Mobility Workbench --- a tool for the -calculus (context) - Victor, Moller - 1994
14 A proof-theoretical approach to communication (context) - Fu - 1997
7 The update calculus - Parrow, Victor - 1997
7 Concurrent constraints in the fusion calculus (context) - Victor, Parrow - 1998 ACM DBLP
2 Rapport de Recherche RR (context) - Sangiorgi, mobile - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/~joachim/cv.html): More
Submodule Construction as Equation Solving in CCS - Joachim Parrow Swedish (1989) (Correct)
Designing a Multiway Synchronisation Protocol - Parrow, Sjödin (1996) (Correct)
The Update Calculus (Extended Abstract) - Parrow, Victor (1997) (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