Massimo Merro  Home/Search
Context
Related
| cogs.susx.ac.uk/users...phdthesis.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: cogs.susx.ac.uk/users/massimo/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis is concerned with the -calculus, the prototypical name-passing calculus of mobile processes, i.e. processes with a dynamically changing communication topology. Through the years, several variants and/or subcalculi of the -calculus have been proposed to naturally model, and prove properties of, important classes of distributed concurrent systems. We introduce the Local -calculus, L, an asynchronous variant of the -calculus, where the process receiving a name may only use it in... (Update)
Similar documents (at the sentence level):
9.3%: Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
5.5%: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (2001) (Correct)
5.1%: On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (Correct)
Active bibliography (related documents): More All
0.6: Aliasing Models for Mobile Objects - Nestmann, Hüttel, Kleist (2002) (Correct)
0.1: Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (Correct)
0.1: A Calculus for Modeling Software Components - Nierstrasz, Achermann (2002) (Correct)
Similar documents based on text: More All
0.5: Closing the Loop Between Articulated Motion and Stereo Vision: A.. - Horaud (2001) (Correct)
0.4: Tests des D'ependances et Transformations de Programme - Yang (1993) (Correct)
0.4: Morphological Representation of Digital Images and Application to .. - Monasse (1992) (Correct)
BibTeX entry: (Update)
@misc{ merro-localiteacute,
author = "Massimo Merro",
title = "Localité Dans Le Pi-Calcul Et Applications Aux . . .",
url = "citeseer.ist.psu.edu/merro00localiteacute.html" }
Citations (may not include all citations):127 Information and Computation (context) - Walker, divergence - 1990 DBLP
81 calculus: A Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
66 Graph types for monadic mobile processes - Yoshida - 1996 ACM DBLP
61 Weak Bisimulation up to (context) - Sangiorgi, Milner et al. - 1992
61 The Fusion Calculus: Expressiveness and Symmetry in Mobile P.. - Victor - 1998 DBLP
57 calculus semantics of object-oriented programming languages (context) - Walker - 1991
23 Categorical Structure of Continuation Passing Style - Thielecke - 1997
11 Minimality and Separation Results on Asynchronous Mobile Pro.. - Yoshida - 1998
8 Available from clt@cs (context) - Talcott, notes - 1996
8 Asynchronous process calculi: the first-order and higher-ord.. - Sangiorgi - 2000
2 Mobile object systems: Homepage (context) - Vitek - 1999
1 A Labelled Transition System for the ffl-calculus (context) - van Breugel - 1997
1 Concurrent Constrains in the Fusion Calculus (context) - Victor, Parrow - 1998
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