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

@INPROCEEDINGS{Palamidessi:05:FMCO,
  AUTHOR = {Catuscia Palamidessi and Iain Phillips and Maria Grazia Vigliotti},
  BOOKTITLE = {Postproceedings of the 4th International Symposium on Formal Methods for Components and Objects (FMCO)},
  EDITOR = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/2006/MariaGrazia/FMCO/fmco-06.pdf}},
  PAGES = {172--194},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Expressiveness via Leader Election Problems},
  VOLUME = {4111},
  YEAR = {2005}
}

@INPROCEEDINGS{Deng:05:FOSSACS,
  AUTHOR = {Yuxin Deng and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of FOSSACS'05},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Prob_Axiom/fossacs05.pdf}},
  PAGES = {110--124},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Axiomatizations for probabilistic finite-state behaviors},
  VOLUME = 3441,
  YEAR = {2005}
}

@ARTICLE{Palamidessi:05:TCS,
  AUTHOR = {Catuscia Palamidessi and Oltea M. Herescu},
  DATE-MODIFIED = {2008-12-28 17:01:48 +0100},
  JOURNAL = {Theoretical Computer Science},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/prob_enc/report.pdf}},
  NUMBER = {2-3},
  PAGES = {373-404},
  TITLE = {A randomized encoding of the $\pi$-calculus with mixed choice},
  URL = {http://hal.inria.fr/inria-00201105/en/},
  VOLUME = 335,
  YEAR = {2005},
  BDSK-URL-1 = {http://hal.inria.fr/inria-00201105/en/}
}

@INPROCEEDINGS{Chatzikokolakis:05:TGC,
  AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of the Symp. on Trustworthy Global Computing},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/PartialSecrets/tgc05.pdf}},
  PAGES = {146-162},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange},
  VOLUME = 3705,
  YEAR = {2005}
}

@INPROCEEDINGS{Bhargava:05:CONCUR,
  AUTHOR = {Mohit Bhargava and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of CONCUR},
  EDITOR = {Mart\'{\i}n Abadi and Luca de Alfaro},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/concur.pdf}},
  PAGES = {171--185},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Probabilistic Anonymity},
  VOLUME = 3653,
  YEAR = 2005
}

@INCOLLECTION{Deng:05:BookJW,
  AUTHOR = {Yuxin Deng and Catuscia Palamidessi and Jun Pang},
  BOOKTITLE = {Processes, Terms and Cycles: Steps on the Road to Infinity},
  DATE-MODIFIED = {2009-01-02 02:46:39 +0100},
  EDITOR = {Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Yuxin/BookJW/par.pdf}},
  PAGES = {309-337},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Compositional Reasoning for Probabilistic Finite-State Behaviors},
  VOLUME = {3838},
  YEAR = {2005}
}

@ARTICLE{Palamidessi:05:EATCS,
  AUTHOR = {Catuscia Palamidessi and Frank D. Valencia},
  BIBDATE = {2005-11-14},
  DATE-MODIFIED = {2010-01-09 05:21:19 +0100},
  JOURNAL = {Bulletin of the EATCS},
  NOTE = {Column: Concurrency. \url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/EATCS_05/recrep.pdf}},
  PAGES = {105--125},
  TITLE = {Recursion vs Replication in Process Calculi: Expressiveness},
  VOLUME = {87},
  YEAR = {2005}
}

@INPROCEEDINGS{Chothia:05:NCUS,
  AUTHOR = {Tom Chothia and Konstantinos Chatzikokolakis},
  BOOKTITLE = {Proceedings of the IFIP International Symposium on Network-Centric Ubiquitous Systems (NCUS 2005)},
  PAGES = {744--755},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {A Survey of Anonymous Peer-to-Peer File-Sharing},
  VOLUME = {3823},
  YEAR = {2005}
}

@MISC{Pradalier:05:RS,
  AUTHOR = {Sylvain Pradalier},
  NOTE = {Rapport de stage. Master Parisien de Recherche en Informatique. \url{http://mpri.master.univ-paris7.fr/attached-documents/stages-2005-rapports/rapport-2005-pradalier.pdf}},
  YEAR = 2005
}

@TECHREPORT{Bhargava:05:TR,
  AUTHOR = {Mohit Bhargava and Catuscia Palamidessi},
  INSTITUTION = {INRIA Futurs and LIX},
  NOTE = {To appear in the proceedings of CONCUR 2005. Report version available at \url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report.ps}},
  TITLE = {Probabilistic Anonymity},
  YEAR = {2005}
}

@TECHREPORT{Chatzikokolakis:05:TR,
  AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  INSTITUTION = {INRIA Futurs and LIX},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/reportPI.pdf}},
  TITLE = {Probable Innocence Revisited},
  YEAR = {2005}
}

@ARTICLE{Valencia:05:TCS,
  AUTHOR = {Frank D. Valencia},
  JOURNAL = {Theoretical Computer Science},
  NUMBER = {3},
  PAGES = {577--607},
  TITLE = {Decidability of infinite-state timed {CCP} processes and first-order {LTL}},
  VOLUME = {330},
  YEAR = {2005}
}

@INPROCEEDINGS{Dantchev:05:SAC,
  AUTHOR = {Stefan S. Dantchev and Frank D. Valencia},
  BOOKTITLE = {Proceedings of the 20th ACM Symposium on Applied Computing},
  PAGES = {393--397},
  PDF = {http://www.brics.dk/~fvalenci/icsp_sac05.pdf},
  PUBLISHER = {ACM Press},
  TITLE = {On the computational limits of infinite satisfaction},
  YEAR = {2005}
}


This file has been generated by bibtex2html 1.74