@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=2003 papers.bib}}

@ARTICLE{Palamidessi:03:MSCS,
  AUTHOR = {Catuscia Palamidessi},
  DATE-MODIFIED = {2008-12-28 17:00:52 +0100},
  JOURNAL = {Mathematical Structures in Computer Science},
  NOTE = {Available at \url{http://www.lix.polytechnique.fr/~catuscia/papers/pi_calc/mscs.pdf}. A short version of this paper appeared in POPL'97.},
  NUMBER = {5},
  PAGES = {685--719},
  TITLE = {Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus},
  URL = {http://hal.inria.fr/inria-00201104/en/},
  VOLUME = {13},
  YEAR = {2003},
  BDSK-URL-1 = {http://hal.inria.fr/inria-00201104/en/}
}

@ARTICLE{Mcdowell:03:TCS,
  AUTHOR = {Raymond McDowell and Dale Miller and Catuscia Palamidessi},
  JOURNAL = {Theoretical Computer Science},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Tran_Sys_in_SC/tcs.ps}},
  NUMBER = 3,
  PAGES = {411-437},
  TITLE = {Encoding transition systems in sequent calculus},
  VOLUME = 294,
  YEAR = 2003
}


This file has been generated by bibtex2html 1.74