Pascal Zimmer  Home/Search
Context Related
| sop.inria.fr/mimosa/p...express00.ps.gz sop.inria.fr/mimosa/P...express00.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) Homepages: P.Zimmer |
Rate this article:      (best)Comment on this article |
Abstract: We consider the Pure Ambient Calculus, which is Cardelli and Gordon's Ambient Calculus (or more precisely its safe version by Levi and Sangiorgi) 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 modications in the hierarchical structure of ambients. As an example, we give an encoding of the synchronous π-calculus into pure ambients and we state an... (Update)
Cited by: More
A CPS Encoding of Name-Passing in Higher-Order.. - Bundgaard.. (2005) (Correct)
Bigraphical Semantics of Higher-Order Mobile Embedded - Resources With Local (2005) (Correct)
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (Correct)
Similar documents (at the sentence level):
40.0%: On the Expressiveness of Pure Safe Ambients - Zimmer (2002) (Correct)
21.3%: Math. Struct. in Comp. Science (2003), vol. 13, pp.. - Cambridge University Press (Correct)
Active bibliography (related documents): More All
1.0: On the Expressiveness of Pure Mobile Ambients - Zimmer (2000) (Correct)
0.2: Lambda Group Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (Correct)
0.2: Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (2000) (Correct)
Similar documents based on text: More All
0.4: Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (Correct)
0.3: On Type Inference in the Intersection Type Discipline - Boudol, Zimmer (2004) (Correct)
Related documents from co-citation: More All
8: Controlling interference in ambients - Levi, Sangiorgi - 2000
7: Mobile ambients - Cardelli, Gordon - 1998
4: Types for mobile ambients - Cardelli, Gordon - 1999
BibTeX entry: (Update)
P. Zimmer. On the Expressiveness of Pure Mobile Ambients. Technical report, INRIA, 2000. forthcoming. 24 http://citeseer.ist.psu.edu/zimmer00expressiveness.html More
@inproceedings{ zimmerdidexpressiveness,
author = "Pascal Zimmer",
title = "On the Expressiveness of Pure Mobile Ambients",
pages = "81--104",
url = "citeseer.ist.psu.edu/zimmer00expressiveness.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
76 The Polyadic -Calculus: a Tutorial - Milner - 1991
74 Abstractions for Mobile Computation - Cardelli - 1999
73 Comparing the Expressive Power of the Synchronous and the As.. - Palamidessi - 1997
60 On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi - 1998
18 Calculus with Explicit Substitutions (context) - Ferrari, Montanari et al. - 1996
17 Wide Area Computation (context) - Cardelli - 1999
11 the Expressiveness of Pure Mobile Ambients - Zimmer - 2000
9 On Equators in Asynchronous Name-Passing Calculi without Mat.. - Merro - 1999
7 A Calculus of mobile Ambients (context) - Cardelli, Gordon - 1997
2 Handling Substitutions Explicitly in the -Calculus (context) - Hirschkooe - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/mimosa/personnel/Pascal.Zimmer/engPublis.html): More
Recursion in the Call-by-Value λ-Calculus - Boudol, Zimmer (2002) (Correct)
Lambda Group Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkopf (2002) (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