@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=2006 papers.bib}}
@INPROCEEDINGS{Chatzikokolakis:06:TGC, AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden}, BOOKTITLE = {Proceedings of the 2nd Symposium on Trustworthy Global Computing (TGC)}, DATE-MODIFIED = {2007-12-23 19:18:49 +0100}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Channels/tgc.pdf}}, PAGES = {281-300}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Anonymity Protocols as Noisy Channels}, VOLUME = {4661}, YEAR = {2006} }
@ARTICLE{Palamidessi:06:EATCS, AUTHOR = {C. Palamidessi and F. Valencia}, JOURNAL = {Bulletin of the European Association for Theoretical Computer Science}, MONTH = OCT, NOTE = {Column: Programming Languages. \url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/EATCS_06/paper.pdf}}, PAGES = {155--171}, TITLE = {Languages for Concurrency}, VOLUME = {90}, YEAR = {2006} }
@INPROCEEDINGS{Lopez:06:ICLP, AUTHOR = {Hugo A. L{\'o}pez and Catuscia Palamidessi and Jorge and Camilo Rueda and Frank D. Valencia}, BOOKTITLE = {Proceedings of the 22nd International Conference on logic Programming, (ICLP)}, DATE-MODIFIED = {2007-12-26 04:06:43 +0100}, EDITOR = {Sandro Etalle and Miroslaw Truszczynski}, PAGES = {449--450}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {A Declarative Framework for Security: Secure Concurrent Constraint Programming}, VOLUME = {4079}, YEAR = {2006} }
@INPROCEEDINGS{Palamidessi:06:LICS, AUTHOR = {Catuscia Palamidessi and Vijay A. Saraswat and Frank D. Valencia and Bj{\"o}rn Victor}, BOOKTITLE = {Proceedings of the Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS)}, DATE-MODIFIED = {2008-12-28 17:04:57 +0100}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/LICS_06/main.pdf}}, PAGES = {59--68}, PUBLISHER = {IEEE Computer Society}, TITLE = {On the Expressiveness of Linearity vs Persistence in the Asynchronous pi-calculus}, URL = {http://hal.inria.fr/inria-00201096/en/}, YEAR = 2006, BDSK-URL-1 = {http://hal.inria.fr/inria-00201096/en/} }
@ARTICLE{Chatzikokolakis:06:TCS, AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi}, DATE-MODIFIED = {2008-12-28 16:57:29 +0100}, JOURNAL = {Theoretical Computer Science}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/tcsPI.pdf}}, NUMBER = {1-2}, PAGES = {123--138}, TITLE = {Probable Innocence Revisited}, URL = {http://hal.inria.fr/inria-00201072/en/}, VOLUME = 367, YEAR = {2006}, BDSK-URL-1 = {http://hal.inria.fr/inria-00201072/en/} }
@INPROCEEDINGS{Pradalier:06:QAPL, AUTHOR = {Sylvain Pradalier and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL)}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Sylvain/QAPL06/FinalBis.pdf}}, PAGES = {119--136}, PUBLISHER = {Elsevier Science B.V.}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Expressiveness of probabilistic $\pi$-calculi}, VOLUME = {164 (3)}, YEAR = 2006 }
@INPROCEEDINGS{palamidessi_et_al:DSP:2006:299, AUTHOR = {Catuscia Palamidessi and Mohit Bhargava}, BOOKTITLE = {Foundations of Global Computing}, EDITOR = {Jos{\'e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing}, NOTE = {\url{drops.dagstuhl.de/opus/volltexte/2006/299}}, NUMBER = {05081}, PUBLISHER = {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany}, SERIES = {Dagstuhl Seminar Proceedings}, TITLE = {Probabilistic Anonymity}, YEAR = {2006} }
@INPROCEEDINGS{Deng:05:QAPL, AUTHOR = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang}, BOOKTITLE = {Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Metrics/QAPL/gts.pdf}}, NUMBER = {2}, PAGES = {79--96}, PUBLISHER = {Elsevier Science Publishers}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Metrics for Action-labelled Quantitative Transition Systems}, VOLUME = {153}, YEAR = {2006} }
@INPROCEEDINGS{Chatzikokolakis:05:FAST, AUTHOR = {Konstantinos Chatzikokolakis and Catuscia Palamidessi}, BOOKTITLE = {Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Revised Selected Papers}, EDITOR = {Theodosis Dimitrakos and Fabio Martinelli and Peter Y. A. Ryan and Steve A. Schneider}, PAGES = {142-157}, PDF = {http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/reportPI.pdf}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Probable Innocence Revisited}, VOLUME = {3866}, YEAR = {2006} }
@INPROCEEDINGS{Cacciagrano:05:EXPRESS, ADDRESS = {San Francisco, USA}, AUTHOR = {Diletta Cacciagrano and Flavio Corradini and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the 12th International Workshop on Expressiveness in Concurrency (EXPRESS 2005)}, EDITORS = {Jos Baeten and Iain Phillips}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Diletta/Must/report.pdf}}, NUMBER = {3}, PAGES = {95--108}, PUBLISHER = {Elsevier Science B.V.}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Separation of synchronous and asynchronous communication via testing}, VOLUME = {154}, YEAR = {2006} }
@INPROCEEDINGS{Palamidessi:05:MFPS, ADDRESS = {Birmingham, UK}, AUTHOR = {Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the 21st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXI)}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/MFPS/paper.pdf}}, PAGES = {33--42}, PUBLISHER = {Elsevier Science B.V.}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Probabilistic and nondeterministic aspects of Anonymity}, VOLUME = {155}, YEAR = {2006} }
@INPROCEEDINGS{Palamidessi:05:BERTINORO, ADDRESS = {Bertinoro, Italy}, AUTHOR = {Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the Workshop on ``Essays on Algebraic Process Calculi'' (APC 25)}, EDITORS = {Luca Aceto and Andrew D. Gordon}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/Bertinoro/paper.pdf}}, PAGES = {277-279}, PUBLISHER = {Elsevier Science B.V.}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {Anonymity in probabilistic and nondeterministic systems}, VOLUME = {162}, YEAR = {2006} }
@INPROCEEDINGS{Ziegler:05:SOS, ADDRESS = {Lisbon, Portugal}, AUTHOR = {Axelle Ziegler and Dale Miller and Catuscia Palamidessi}, BOOKTITLE = {Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'05)}, NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Axelle/SOS_05/report.pdf}}, NUMBER = {1}, PAGES = {169--189}, PUBLISHER = {Elsevier Science B.V.}, SERIES = {Electronic Notes in Theoretical Computer Science}, TITLE = {A Congruence Format for Name-passing Calculi}, VOLUME = {156}, YEAR = {2006} }
@MISC{Deng:06:PerComm, AUTHOR = {Yuxin Deng and Jun Pang and Peng Wu}, NOTE = {Personal Communication}, YEAR = 2006 }
@INPROCEEDINGS{Deng:06:FAST, AUTHOR = {Yuxin Deng and Jun Pang and Peng Wu}, BOOKTITLE = {Proc. of the of the 4th Int. Worshop on Formal Aspects in Security and Trust}, DATE-MODIFIED = {2010-01-04 10:47:03 +0100}, EDITOR = {T. Dimitrakos and F. Martinelli and P. Y. A. Ryan and S. A. Schneider}, PAGES = {65--79}, PUBLISHER = {Springer}, SERIES = {LNCS}, TITLE = {Measuring Anonymity with Relative Entropy}, VOLUME = {4691}, YEAR = {2006} }
@ARTICLE{Wu:06:IJSEKE, AUTHOR = {Peng WU and Huimin LIN}, JOURNAL = {International Journal of Software Engineering and Knowledge Engineering}, NOTE = {\url{http://www.worldscinet.com/ijseke/16/1605/S0218194006002999.html}}, NUMBER = {5}, PAGES = {727-746}, TITLE = {Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints}, VOLUME = {16}, YEAR = {2006} }
This file has been generated by bibtex2html 1.74