@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