@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