CoppoDGP04'

BibTeX

@inproceedings{DBLP:conf/ifipTCS/CoppoDGP04,
  author    = {Mario Coppo and
               Mariangiola Dezani-Ciancaglini and
               Elio Giovannetti and
               Rosario Pugliese},
  title     = {Dynamic and Local Typing for Mobile Ambients},
  booktitle = {IFIP TCS},
  year      = {2004},
  pages     = {577-590},
  crossref  = {DBLP:conf/ifipTCS/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifipTCS/2004,
  editor    = {Jean-Jacques L{\'e}vy and
               Ernst W. Mayr and
               John C. Mitchell},
  title     = {Exploring New Frontiers of Theoretical Informatics, IFIP
               18th World Computer Congress, TC1 3rd International Conference
               on Theoretical Computer Science (TCS2004), 22-27 August
               2004, Toulouse, France},
  booktitle = {IFIP TCS},
  publisher = {Kluwer},
  year      = {2004},
  isbn      = {1-4020-8140-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}