CardelliG00'

@inproceedings{DBLP:conf/popl/CardelliG00,
  author    = {Luca Cardelli and
               Andrew D. Gordon},
  title     = {Anytime, Anywhere: Modal Logics for Mobile Ambients},
  booktitle = {POPL},
  year      = {2000},
  pages     = {365-377},
  ee        = {http://doi.acm.org/10.1145/325694.325742},
  crossref  = {DBLP:conf/popl/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/popl/2000,
  editor    = {Mark N. Wegman and
               Thomas W. Reps},
  title     = {POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium
               on Principles of Programming Languages, Boston, Massachusetts,
               USA, January 19-21, 2000},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2000},
  isbn      = {1-58113-125-9},
  ee        = {http://dl.acm.org/citation.cfm?id=325694},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}