Francesca Levi, Davide Sangiorgi  Home/Search
Context Related
| sop.inria.fr/meije...AmbientsFull.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: 163.com/~mobileambient/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Two forms of interferences are individuated in Cardelli and Gordon's Mobile Ambients (MA): plain interferences, which are similar to the interferences one finds in CCS and pi-calculus; and grave interferences, which are more dangerous and may be regarded as programming errors. To control interferences, the MA movement primitives are modified. On the new calculus, the Mobile Safe Ambients (SA), a type system is defined that: controls the mobility of ambients; removes all grave interferences.... (Update)
Cited by: More
Types for the Ambient Calculus - Luca Cardelli And (2002) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (Correct)
Math. Struct. in Comp. Science (2003), vol. 13, pp.. - Cambridge University Press (Correct)
Similar documents (at the sentence level):
35.7%: Controlling Interference in Ambients - Levi, Sangiorgi (2000) (Correct)
Active bibliography (related documents): More All
0.3: Extensionality and Intensionality of the Ambient Logics - Sangiorgi (2000) (Correct)
0.3: A distributed machine for Safe Ambients - Sangiorgi, Valente (2001) (Correct)
0.2: Non-Functional Aspects of Wide Area Network - Tuosto (Correct)
Similar documents based on text: More All
0.8: Making Ambients More Robust - Guan, Yang, You (2000) (Correct)
0.6: Secure Safe Ambients and JVM Security (Abstract) - Bugliesi, Castagna (2000) (Correct)
0.5: Security Types for Mobile Safe Ambients - Dezani-Ciancaglini, Salvo (2000) (Correct)
Related documents from co-citation: More All
71: Mobile ambients - Cardelli, Gordon - 1998
56: Types for mobile ambients - Cardelli, Gordon - 1999
40: Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
BibTeX entry: (Update)
F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings of POPL 2000, pages 352--364. ACM Press, 2000. http://citeseer.ist.psu.edu/article/levi00controlling.html More
@inproceedings{ levi00controlling,
author = "Francesca Levi and Davide Sangiorgi",
title = "Controlling Interference in Ambients",
booktitle = "Symposium on Principles of Programming Languages",
pages = "352-364",
year = "2000",
url = "citeseer.ist.psu.edu/article/levi00controlling.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile ambients - Cardelli, Gordon - 1998
197 Barbed bisimulation - Milner, Sangiorgi - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1996
132 Syntactic control of interference (context) - Reynolds - 1978
126 Types for mobile ambients - Cardelli, Gordon - 1999
116 A typed language for distributed mobile processes - Hennessy, Riely - 1998
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
90 Type systems - Cardelli - 1996
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
59 The name discipline of uniform receptiveness - Sangiorgi - 1997
53 Secure safe ambients - Bugliesi, Castagna - 2001
47 Equational properties of mobile ambients - Cardelli, Gordon - 1999
47 Equational properties of mobile ambients - Cardelli, Gordon - 1999
45 A non-interleaving semantics for CCS based on proved transit.. (context) - Boudol, Castellani - 1988
39 local subtyping and capability inference for a distributed .. (context) - Sewell - 1998
30 Safe Ambients: Control Flow Analysis and Security - Degano, Levi et al.
28 Enhanced Operational Semantics for Concurrency (context) - Priami - 1995
13 Making ambients more robust - Guan, Yang et al. - 2000
11 the expressiveness of pure mobile ambients - Zimmer
7 Validating rewalls in mobile ambients (context) - Nielson, Nielson et al. - 1999
4 A calculus of mobile processes (context) - Fournet, Gonthier et al. - 1996
3 Technical annex to (context) - Cardelli, Gordon - 1998
1 Security Types for Mobile Safe Ambients - Dezani-Ciancaglini, Salvo
1 a degli Studi di Pisa (context) - Nardelli, seal et al. - 2000
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://go2.163.com/~mobileambient/): More
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (Correct)
Safe Ambients: Control Flow Analysis and Security. - Pierpaolo Degano Francesca (Correct)
What are Polymorphically-Typed Ambients? - Amtoft, Kfoury, Pericas-Geertsen (2000) (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