Torben Amtoft  Home/Search
Context Related
| bu.edu/reports/ele...CauMov2001.pdf.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: wikipedia.com/w...ntCalculiOnline (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We present a type system for the calculus, parameterized by a set of security constraints: static ones concerning where a given ambient may reside, and dynamic ones expressing where a given ambient may be dissolved. A subject reduction property then guarantees that a well-typed process never violates these constraints; additionally it ensures that communicating... (Update)
Cited by: More
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
Similar documents (at the sentence level):
25.7%: Causal Type System for Ambient Movements - Amtoft (2001) (Correct)
Active bibliography (related documents): More All
0.0: Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (Correct)
0.0: Safe Dynamic Binding in the Join Calculus - Schmitt (2001) (Correct)
0.0: A Dependently Typed Ambient Calculus - Lhoussaine, Sassone (2003) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.9: What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
0.2: Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
0.1: What are Polymorphic Ambients? - Torben Amtoft Boston (Correct)
Related documents from co-citation: More All
2: What are polymorphically-typed ambients - Amtoft, Kfoury et al. - 2000
BibTeX entry: (Update)
Torben Amtoft. Causal type system for ambient movements. Submitted for publication, 2002. http://citeseer.ist.psu.edu/article/amtoft01causal.html More
@misc{ amtoft02causal,
author = "T. Amtoft",
title = "Causal type system for ambient movements",
text = "Torben Amtoft. Causal type system for ambient movements. Submitted for
publication, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/amtoft01causal.html" }
Citations (may not include all citations):72 Ambient groups and mobility types - Cardelli, Ghelli et al.
1 Extended version appears as Microsoft Research Technical Rep.. (context) - Wiedermann, Boas et al. - 1999
Documents on the same site (http://www.wikipedia.com/wiki/AmbientCalculiOnline): More
Fixed Points in the Ambient Logic - Zilio (2001) (Correct)
Bisimulation Congruences in Safe Ambients - Merro, Hennessy (2001) (Correct)
On the Expressiveness of Pure Safe Ambients - Zimmer (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