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)
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)
Solo Diagrams - Laneve, Parrow, Victor (2001) (2 citations) Self-citation (Parrow 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