• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Mobile ambients (1998)

Cached

  • Download as a PDF

Download Links

  • [types.bu.edu]
  • [lucacardelli.name]
  • [www.research.digital.com]
  • [www.research.digital.com]
  • [research.microsoft.com]
  • [www.mpi-sb.mpg.de]
  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [www.ii.uni.wroc.pl]
  • [www.cs.cmu.edu]
  • [www.cis.upenn.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Luca Cardelli , Andrew D. Gordon
Venue:In Proceedings of POPL'98
Citations:725 - 28 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

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

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University