Mobile ambients

Mobile ambients (1998)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Luca Cardelli , Andrew D. Gordon

Venue:	In Proceedings of POPL'98
Citations:	725 - 28 self

BibTeX

@INPROCEEDINGS{Cardelli98mobileambients,
    author = {Luca Cardelli and Andrew D. Gordon},
    title = {Mobile ambients},
    booktitle = {In Proceedings of POPL'98},
    year = {1998},
    publisher = {ACM Press}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Laboratory We introduce a calculus describing the movement of processes and devices, including movement through administrative domains.

Citations

1541	The Java Language Specification - Gosling, Joy, et al. - 1996
1225	A calculus of communicating systems - Milner - 1980
699	A.D.: A calculus for cryptographic protocols: The Spi calculus - Abadi, Gordon - 1997
668	Linda in context - Carriero, Gelernter - 1989
520	Communicating and Mobile Systems: the π-Calculus - Milner - 1999
426	The chemical abstract machine - Berry, Boudol - 1990
396	A Language with Distributed Scope - Cardelli - 1995
341	An object calculus for asynchronous communication - Honda, Tokoro - 1991
290	Functions as processes - Milner - 1992
250	A calculus of mobile agents - Fournet, Gonthier, et al. - 1996
229	Telescript Technology: The Foundation for the Electronic - White - 1994
148	Anytime, Anywhere, Modal Logics for Mobile Ambients - Cardelli, Gordon - 2000
142	Types for Mobile Ambients - Cardelli, Gordon - 1999
117	Controlling Interference for Ambients - Levi, Sangiorgi - 2000
113	An asynchronous model of locality, failure, and process mobility - Amadio - 1997
83	G.: The reflexive CHAM and the Join-calculus - Fournet, Gonthier - 1996
70	Types as models: Model Checking Message-Passing Programs - Chaki, Rajamani, et al. - 2002
60	Model checking mobile processes - Dam - 1996
56	Equational properties of mobile ambients - Gordon, Cardelli
45	Secure safe ambients - Bugliesi, Castagna - 2001
43	Logical Properties of Name Restriction - Cardelli, Gordon - 2001
42	Asynchrony and the π-calculus - Boudol - 1992
38	Extensionality and Intensionality of the Ambient Logic - Sangiorgi - 2001
34	Abstract interpretation of mobile ambients - Hansen, Jensen, et al. - 1999
33	Validating firewalls in mobile ambients - Nielson, Nielson, et al. - 1999
32	A calculus of mobile processes, parts 1-2 - Milner, Parrow, et al. - 1992
32	The decidability of model-checking mobile ambients - Charatonik, Talbot - 2001
19	Locality based Linda: programming with explicit localities - Nicola, Ferrari, et al. - 1997
6	The complexity of model checking mobile ambients - Charatonik, Zilio, et al. - 2001
5	Asynchrony and the p-calculus - Boudol - 1992
4	Bauhaus Linda, in Object-Based Models and Languages for Concurrent Systems - Carriero, Gelernter, et al. - 1995
2	Modal logics for mobile ambients: Semantic reasoning. Unpublished annex to [5 - Cardelli, Gordon - 1999
1	On the decidability of fragments of the asynchronous pi-calculus - Meyssonnier - 2001