Pascal Zimmer  Home/Search
Context
Related
| sop.inria.fr/mimosa/Pas...RR4350.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: sop.inria.fr/mimosa/P...engPublis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider the Pure Safe Ambient Calculus, which is Levi and Sangiorgi's Safe Ambient Calculus (a variant of Cardelli and Gordon's Mobile Ambient Calculus) restricted to its mobility primitives, and we focus on its expressive power. Since it has no form of communication or substitution, we show how these notions can be simulated by mobility and modi cations in the hierarchical structure of ambients. As a main result, we use these techniques to design an encoding of the synchronous -calculus... (Update)
Similar documents based on text: More All
0.5: Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (1999) (Correct)
0.3: On the Expressiveness of Pure Safe Ambients - Zimmer (2002) (Correct)
0.2: On the Effect of Feedback Traffic in IEEE 802.11b WLANs - Miorandi (2003) (Correct)
BibTeX entry: (Update)
@misc{ zimmer-expressiveness,
author = "Pascal Zimmer",
title = "On the Expressiveness of Pure Safe Ambients",
url = "citeseer.ist.psu.edu/zimmer02expressiveness.html" }
Citations (may not include all citations):410 Mobile Ambients - Cardelli, Gordon - 1998
144 Controlling Interference in Ambients - Levi, Sangiorgi - 2000
140 On Reduction-Based Process Semantics - Honda, Yoshida - 1995
74 Abstractions for Mobile Computation - Cardelli - 1999
61 Technical Report ECS-LFCS (context) - Milner, The - 1991
60 On Asynchrony in NamePassing Calculi - Merro, Sangiorgi - 1998
18 Calculus with Explicit Substitutions (context) - Ferrari, Montanari et al. - 1996
17 Wide Area Computation (context) - Cardelli - 1999
9 On Equators in Asynchronous Name-Passing Calculi without Mat.. - Merro - 1999
7 A Calculus of mobile Ambients (context) - Cardelli, Gordon - 1997
Documents on the same site (http://www-sop.inria.fr/mimosa/Pascal.Zimmer/engPublis.html): More
Recursion in the Call-by-Value λ-Calculus - Boudol, Zimmer (2002) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2004) (Correct)
A Calculus for Context-Awareness - Pascal Zimmer Brics (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