B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. PhD thesis, Department of Computer Systems, Uppsala University, 1998. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
The Fusion Machine (Extended Abstract) - Gardner, Laneve, Wischik (Correct)
Categorical and Graphical Models of Programming Languages - Schweimeier (2001) (1 citation) (Correct)
Resource-Passing Concurrent Programming - Ueda (2 citations) (Correct)
Bigraphical Reactive Systems: Basic Theory - Milner (2001) (2 citations) (Correct)
New Directions in Implementing the Pi Calculus - Wischik (2002) (Correct)
Functional Features of a Calculus for Logic and Concurrency - Priami, Solitro (2000) (Correct)
Functional Features of a Calculus for Logic and Concurrency - Priami, Solitro (2000) (Correct)
A Graphical Calculus for Name Mobility - Hirsch, Montanari (2 citations) (Correct)
Structured Coalbegras and Minimal Hd Automata for the.. - Montanari, Pistore (2000) (Correct)
Typing mobility in the Seal Calculus - Giuseppe Castagna Giorgio (2001) (16 citations) (Correct)
Localité Dans Le Pi-Calcul Et Applications Aux . . . - Merro (2000) (Correct)
Categorical and Graphical Models of Programming Languages - Part .. - Schweimeier (2001) (1 citation) (Correct)
Synchronous Modeling and Asynchronus Deployment of Mobile Processes - Talpin (Correct)
Cylindric Process Algebras with Conditionals give.. - Luttik (1999) (Correct)
Categorical and Graphical Models of Programming Languages - Part I - Schweimeier (2001) (1 citation) (Correct)
The Fusion Calculus - Posse (Correct)
The Fusion Calculus - Posse (Correct)
A Generic Model of the Pi Calculus. - Tang (1998) (Correct)
Mobile Values, New Names, and Secure Communication - Abadi, Fournet (2001) (2 citations) (Correct)
Shallow Linear Action Graphs and their Embeddings - Leifer, Milner (2000) (Correct)
Typing mobility in the Seal Calculus - Giuseppe Castagna Giorgio (2001) (16 citations) (Correct)
Symmetric Action Calculi - Wischik, Gardner (1999) (Correct)
Explicit Fusions - Gardner, Wischik (2000) (7 citations) (Correct)
The Two-Phase Commitment Protocol in an Extended π-Calculus - Berger, Honda (2000) (9 citations) (Correct)
A Non Functional Calculus: Linear Logic and Concurrency - Priami, Solitro, Borboni (2000) (Correct)
A Non Functional Calculus: Linear Logic and Concurrency - Priami, Solitro, Borboni (2000) (Correct)
Synchronous Modeling and Asynchronous Deployment of Mobile.. - Talpin (2000) (Correct)
A Graph Rewriting Semantics for the Polyadic π-Calculus.. - König (2000) (Correct)
Automatically Proving Up-to Bisimulation - Hirschkoff (1998) (1 citation) (Correct)
Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (Correct)
Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (Correct)
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
D-Fusion: a Distinctive Fusion Calculus - Boreale, Buscemi, Montanari (Correct)
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) (Correct)
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
Bigraphs and Mobile Processes - Jensen, Milner (2003) (7 citations) (Correct)
Making Components Move: A Separation of Concerns Approach - Pattinson, Wirsing (2002) (Correct)
Electronic Notes in Theoretical Computer Science 39 No. 1 (2000) - Url Http Www (Correct)
Bigraphs and Mobile Processes - Jensen, Milner (2004) (7 citations) (Correct)
On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (47 citations) (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Conformance Relation for Fusion Calculus - Grover, Thariyan (2002) (Correct)
Conformance Relation for Fusion Calculus - Grover, Thariyan (2002) (Correct)
Description and Verification of Mobile Processes with Graph.. - König (Correct)
A Formal Semantics of COOL - O'Connell (2000) (Correct)
Quantales And Observational Semantics - Resende (2000) (3 citations) (Correct)
Solo Diagrams - Laneve, Parrow, Victor (2001) (2 citations) Self-citation (Parrow Victor) (Correct)
Solo Diagrams - Laneve, Parrow, Victor (2001) (2 citations) Self-citation (Parrow Victor) (Correct)
The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1998) (53 citations) Self-citation (Victor) (Correct)
First 50 documents Next 50
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