Andrew D. Gordon, Luca Cardelli  Home/Search
Context Related
| microsoft.com/~adg/Pu...MSRTR9911.ps 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: microsoft.com/~adg/Publ...details (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The ambient calculus is a process calculus for describing mobile computation. (Update)
Cited by: More
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (Correct)
The Complexity of Model Checking Mobile Ambients - Charatonik, Zilio, Gordon.. (2001) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (Correct)
Similar documents (at the sentence level):
66.4%: Equational Properties of Mobile Ambients - Gordon, Cardelli (1999) (Correct)
Active bibliography (related documents): More All
0.1: Secrecy by Typing in Security Protocols - Abadi (1998) (Correct)
0.1: A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (Correct)
0.1: Reasoning about Cryptographic Protocols in the Spi Calculus - Abadi, Gordon (1997) (Correct)
Similar documents based on text:
99.0: Unknown - (Correct)
Related documents from co-citation: More All
36: Mobile ambients - Cardelli, Gordon - 1998
31: Types for mobile ambients - Cardelli, Gordon - 1999
28: Controlling interference in ambients - Levi, Sangiorgi - 2000
BibTeX entry: (Update)
A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proceedings FoSSaCS'99, Lecture Notes in Computer Science. SpringerVerlag, 1999. To appear. http://citeseer.ist.psu.edu/gordon99equational.html More
@inproceedings{ gordon99equational,
author = "Andrew D. Gordon and Luca Cardelli",
title = "Equational Properties of Mobile Ambients",
booktitle = "Foundations of Software Science and Computation Structure",
pages = "212-226",
year = "1999",
url = "citeseer.ist.psu.edu/gordon99equational.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile ambients - Cardelli, Gordon - 1998
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
306 LCF considered as a programming language (context) - Plotkin - 1977
254 Theoretical Computer Science (context) - Berry, Boudol et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1992
197 Barbed bisimulation - Milner, Sangiorgi - 1992
149 Testing equivalences for processes (context) - De Nicola, Hennessy - 1984
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
126 Types for mobile ambients - Cardelli, Gordon - 1999
118 Lambda-Calculus Models of Programming Languages (context) - Morris - 1968
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
115 An asynchronous model of locality (context) - Amadio - 1997
74 Abstractions for mobile computation - Cardelli - 1999
72 Fully abstract models of typed lambda-calculi (context) - Milner - 1977
61 Localities and failures - Amadio, Prasad - 1994
46 Secure implementation of channel abstractions - Abadi, Fournet et al. - 1998
11 Undergraduate lecture notes (context) - Milner, -calculus - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/~adg/Publications/details.htm): More
Stack Inspection: Theory and Variants - Fournet, Gordon (2001) (Correct)
Stack Inspection: Theory and Variants - Fournet, Gordon (Correct)
Typing Correspondence Assertions for Communication Protocols - Gordon, Jeffrey (2001) (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