Xudong Guan, Jinyuan You  Home/Search
Context
Related
| sop.inria.fr/mimosa/...draft_ecta.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/personnel/... (more) Homepages: X.Guan |
Rate this article:      (best)Comment on this article |
Abstract: We start from Zimmer's encoding of the -calculus to pure ambients [12], and Levi and Sangiorgi's typed equational laws [9] for safe ambients. We presented a typed encoding and reached a stronger operational correspondence proved algebraically with the typed equational laws. (Update)
Active bibliography (related documents): More All
0.5: Name-Passing In An Ambient-Like Calculus and Its Proof Using.. - Guan (2004) (Correct)
0.3: On the Computational Strength of Pure Ambient Calculi - Maffeis, Phillips (2003) (Correct)
0.2: When Ambients Cannot be Opened - Boneva, Talbot (2003) (Correct)
Similar documents based on text: More All
1.3: On the Expressiveness of Pure Safe Ambients - Zimmer (2002) (Correct)
1.2: On the Expressiveness of Pure Mobile Ambients - Zimmer (2000) (Correct)
1.1: Making Ambients More Robust - Guan, Yang, You (2000) (Correct)
BibTeX entry: (Update)
@misc{ guan-encoding,
author = "Xudong Guan and Jinyuan You",
title = "Encoding Channels in Typed Ambients",
url = "citeseer.ist.psu.edu/574574.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
58 Bisimulation congruences in safe ambients - Merro, Hennessy - 2002
47 Equational properties of mobile ambients - Gordon, Cardelli - 1999
37 What are polymorphicallytyped ambients - Amtoft, Kfoury et al. - 2001
24 A distributed abstract machine for Safe Ambients (context) - Sangiorgi, Valente - 2076
23 distributed implementation of mobile ambients (context) - Fournet, evy et al. - 2000
18 Information Processing Letters - Guan, Yang et al. - 2001
13 Making ambients more robust - Guan, Yang et al.
11 the expressiveness of pure mobile ambients - Zimmer - 2000
5 the expressiveness of movement in pure mobile ambients (context) - Busi, Zavattaro - 2002
2 Type system and algebraic theory of robust ambients (context) - Guan - 2002
Documents on the same site (http://www-sop.inria.fr/mimosa/personnel/Xudong.Guan/): More
Making Ambients More Robust - Guan, Yang, You (2000) (Correct)
Typing Evolving Ambients - Guan, Yang, You (2001) (Correct)
Towards a Tree of Channels - Guan (2003) (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