@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'author:"alvim" | author:"andres" | author:"aranda" | author:"aristizabal" | author:"beauxis" | author:"bonchi" | author:"bordenabe" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"dubreil" | author:"elsalamouny" | author:"giunti" | author:"hamadou" | author:"knight" | author:"kramer" | author:"mio" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pino" | author:"pradalier" | author:"stronati" | author: "troina" | author:"valencia" | author:"wu" | author:"xu" | author:"ziegler"' -c year=2002 papers.bib}}

@INPROCEEDINGS{Palamidessi:02:TCS,
  AUTHOR = {Catuscia Palamidessi and Oltea M. Herescu},
  BOOKTITLE = {Proceedings of the {\it 2nd IFIP International Conference on Theoretical Computer Science}},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/prob_enc/ifiptcs02.ps}},
  PAGES = {537--549},
  TITLE = {A randomized encoding of the $\pi$-calculus with mixed choice},
  YEAR = {2002}
}

@INPROCEEDINGS{Nielsen:02:PPDP,
  ADDRESS = {New York},
  AUTHOR = {Mogens Nielsen and Catuscia Palamidessi and Frank D. Valencia},
  BOOKTITLE = {Proceedings of the Fourth {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming},
  MONTH = OCT # {6--8},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/ppdp02.ps}},
  PAGES = {156--167},
  PUBLISHER = {ACM Press},
  TITLE = {On the expressive power of temporal concurrent constraint programming languages},
  YEAR = {2002}
}

@INPROCEEDINGS{Palamidessi:02:PPDP,
  ADDRESS = {New York},
  AUTHOR = {Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of the Fourth {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming ({PPDP}-02)},
  NOTE = {Invited talk},
  PAGES = {74--75},
  PUBLISHER = {ACM Press},
  TITLE = {Mobile calculi for distributed programming},
  YEAR = {2002}
}

@ARTICLE{Nielsen:02:NJC,
  AUTHOR = {M. Nielsen and C. Palamidessi and F. Valencia},
  JOURNAL = {Nordic Journal of Computing},
  NOTE = {\url {http://www.lix.polytechnique.fr/~catuscia/papers/Ntcc/njc02.ps}},
  PAGES = {145--188},
  TITLE = {Temporal Concurrent Constraint Programming: Denotation, Logic and Applications},
  VOLUME = {9},
  YEAR = {2002}
}

This file has been generated by bibtex2html 1.74