@comment{{This file has been generated by bib2bib 1.94}}

@comment{{Command line: /users/comete/catuscia/bin/bib2bib -c 'author:"aranda" | author:"beauxis" | author:"braun" | author:"chatzikokolakis" | author:"chothia" | author:"deng" | author:"kramer" | author:"olarte" | author:"palamidessi" | author:"pang" | author:"pradalier" | author: "troina" | author:"valencia" | author:"wu" | author:"ziegler"' -c year=2009 papers.bib}}

@inproceedings{Laneve:09:QAPL,
  author = {Cosimo Laneve and Sylvain Pradalier and Gianluigi Zavattaro},
  booktitle = {Proceedings of the Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL)},
  editor = {Christel Baier and Alessandra {Di Pierro}},
  number = {3},
  pages = {167-185},
  publisher = {Elsevier B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {From Biochemistry to Stochastic Processes},
  volume = {253},
  year = {2009}
}

@inproceedings{Aranda:09:FOSSACS,
  author = {{A}randa, {J}esus and {V}alencia, {F}rank D. and {V}ersari, {C}ristian},
  booktitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS'09},
  doi = {10.1007/978-3-642-00596-1\_18},
  editor = {Luca de Alfaro},
  language = {{E}nglish},
  pages = {242-256},
  publisher = {Springer},
  series = {{Lecture Notes in Computer Science}},
  title = {{O}n the {E}xpressive {P}ower of {R}estriction and {P}riorities in {CCS} with replication},
  url = {http://hal.inria.fr/inria-00430531/en/},
  volume = {5504},
  year = {2009},
}

@phdthesis{Pradalier:09:Thesis,
  author = {Sylvain Pradalier},
  school = {LIX, Ecole Polytechnique, France},
  title = {An approach to the modeling, simulation and analysis of nano-devices},
  year = 2009
}

@article{Kramer:09:JCV,
  author = {Simon Kramer and Julian C. Bradfield},
  doi = {10.1007/s11416-009-0137-1},
  journal = {Journal in Computer Virology},
  note = {To appear},
  title = {A General Definition of Malware},
  url = {http://dx.doi.org/10.1007/s11416-009-0137-1},
  year = {2009},
}

@phdthesis{Beauxis:09:Thesis,
  author = {Romain Beauxis},
  school = {LIX, Ecole Polytechnique, France},
  title = {Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols},
  year = 2009
}

@phdthesis{Aranda:09:Thesis,
  author = {Jesus Aranda},
  school = {LIX, Ecole Polytechnique, France, and EISC, Universidad del Valle, Colombia},
  title = {On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus},
  url = {http://tel.archives-ouvertes.fr/tel-00430495/en/},
  year = 2009,
}

@inproceedings{Aranda:09:CLEI,
  author = {{V}illota, {A}ngela and {A}randa, {J}esus and {J}uan {F}rancisco, {D}iaz},
  booktitle = {Proceedings of the {XXXV} {L}atin {A}merican {I}nformatics {C}onference, CLEI'09},
  language = {{E}nglish},
  title = {{M}odelando {S}istemas de {M}embranas en ntcc},
  url = {http://hal.inria.fr/inria-00430537/en/},
  year = {2009},
}

@phdthesis{Olarte:PhDThesis,
  address = {Palaiseau, France},
  author = {Carlos Olarte},
  school = {LIX, Ecole Polytechnique},
  title = {Universal Temporal Concurrent Constraint Programming},
  url = {http://tel.archives-ouvertes.fr/tel-00430446/en/},
  year = 2009,
}

@inproceedings{Lopez:09:PLACES,
  author = {Hugo L\'{o}pez and Carlos Olarte and Jorge A. P\'{e}rez},
  booktitle = {Proceedings of the workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)},
  note = {To appear},
  publisher = {Elsevier},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Towards a Unified Framework for Declarative Structured Communications},
  url = {http://hal.inria.fr/inria-00426609/en/},
  year = {2009},
}

@inproceedings{Olarte:09:MCM,
  author = {Carlos Olarte and Camilo Rueda},
  booktitle = {Proceedings of the Second International Conference on Mathematics and Computation in Music (MCM)},
  doi = {10.1007/978-3-642-02394-1},
  editor = {Elaine Chew and Adrian Childs and Hing-Hua Chuan},
  isbn = {978-3-642-02393-4},
  pages = {218-227},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  title = {A Declarative Language for Dynamic Multimedia Interaction Systems},
  url = {http://hal.inria.fr/inria-00426607/},
  volume = {38},
  year = {2009},
}

@inproceedings{Olarte:09:IRCAM,
  address = {Paris, France},
  author = {Carlos Olarte and Camilo Rueda and Frank D. Valencia},
  booktitle = {New Computational Paradigms for Computer Music},
  chapter = {3},
  editor = {G\'{e}rard Assayag and Andrew Gerzso},
  pages = {400--402},
  publisher = {Delatour France / Ircam-Centre Pompidou},
  title = {{C}oncurrent {C}onstraint {P}rogramming: a Declarative Paradigm for Modeling Music Systems},
  url = {http://hal.inria.fr/inria-00429592/en/},
  year = {2009},
}

@inproceedings{Aranda:09:ICLP,
  author = {Jesus Aranda and G{\'e}rard Assayag and Carlos Olarte and Jorge A. P{\'e}rez and Camilo Rueda and Mauricio Toro and Frank D. Valencia},
  booktitle = {Proceeding of the 25th International Conference, ICLP'09},
  doi = {10.1007/978-3-642-02846-5\_4},
  editor = {Patricia M. Hill and David Scott Warren},
  isbn = {978-3-642-02845-8},
  pages = {509-513},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {An {O}verview of {F}{O}{R}{C}{E}{S}: An {I}{N}{R}{I}{A} Project on Declarative Formalisms for Emergent Systems},
  url = {http://hal.inria.fr/inria-00426610/en/},
  volume = {5649},
  year = {2009},
}

@inproceedings{Falaschi:09:PPDP,
  author = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi},
  booktitle = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'09},
  doi = {10.1145/1599410.1599436},
  editor = {Ant{\'o}nio Porto and Francisco Javier L{\'o}pez-Fraguas},
  pages = {207-218},
  publisher = {ACM},
  title = {A framework for abstract interpretation of timed concurrent constraint programs},
  url = {http://hal.inria.fr/inria-00426608/en/},
  year = {2009},
}

@article{Beauxis:09:TCS,
  author = {Romain Beauxis and Catuscia Palamidessi},
  bibdate = {2009-09-03},
  bibsource = {DBLP, http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#BeauxisP09},
  doi = {10.1016/j.tcs.2009.06.008},
  journal = {Theoretical Computer Science},
  number = {41},
  pages = {4006--4025},
  title = {Probabilistic and nondeterministic aspects of anonymity},
  url = {http://hal.archives-ouvertes.fr/inria-00424855/en/},
  volume = {410},
  year = {2009},
}

@inproceedings{Braun:09:MFPS,
  author = {Christelle Braun and Konstantinos Chatzikokolakis and Catuscia Palamidessi},
  booktitle = {Proceedings of the 25th Conf. on Mathematical Foundations of Programming Semantics},
  doi = {10.1016/j.entcs.2009.07.085},
  pages = {75-91},
  publisher = {Elsevier B.V.},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {Quantitative Notions of Leakage for One-try Attacks},
  url = {http://hal.archives-ouvertes.fr/inria-00424852/en/},
  volume = {249},
  year = {2009},
}

@techreport{Pradalier:09:TR,
  author = {Sylvain Pradalier},
  institution = {Ecole Polytechnique},
  note = {Submitted for publication},
  title = {Comparing Chemical and Computer Science Semantics: Chemical Master equations and Backword Bisimulation},
  year = {2009}
}

@inproceedings{Chatzikokolakis:09:FOSSACS,
  address = {York, UK},
  author = {Konstantinon Chatzikokolakis and Gethin Norman and David Parker},
  booktitle = {Proceedings of the Twelfth International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2009)},
  editor = {Luca {de Alfaro}},
  month = {March 2009},
  note = {To appear},
  title = {Bisimulation for demonic schedulers},
  year = {2009}
}

@inproceedings{Bhowmick:08:TGC,
  author = {Abhishek Bhowmick and Catuscia Palamidessi},
  booktitle = {Proceedings of the Fourth Symposium on Trustworthy Global Computing (TGC 2008)},
  editor = {Christos Kaklamanis and Flemming Nielson},
  pages = {36--51},
  pdf = {http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Bhowmick/paper.pdf},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Bounds on the leakage of the input's distribution in information-hiding protocols},
  url = {http://hal.archives-ouvertes.fr/hal-00444579/en/},
  volume = {5474},
  year = {2009},
}

@article{Cacciagrano:08:LMCS,
  author = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi},
  journal = {Logical Methods in Computer Science},
  number = {2 - 15},
  title = {Explicit Fairness in Testing Semantics},
  url = {http://hal.archives-ouvertes.fr/hal-00444580/en/},
  volume = {5},
  year = {2009},
}

@article{Norman:08:TSE,
  author = {Gethin Norman and Catuscia Palamidessi and David Parker and Peng Wu},
  journal = {IEEE Transactions of Software Engineering},
  number = {2},
  pages = {209--223},
  pdf = {http://www.lix.polytechnique.fr/~catuscia/papers/2009/TSE.pdf},
  rating = {1},
  read = {No},
  title = {Model checking probabilistic and stochastic extensions of the $\pi$-calculus},
  url = {http://hal.archives-ouvertes.fr/inria-00424856/en/},
  volume = {35},
  year = {2009},
}

This file was generated by bibtex2html 1.94.