Xiaojuan Cai, Yonggen Gu. Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus. In Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Laganà , Youngsong Mun, Marina L. Gavrilova, editors, Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II. Volume 5593 of Lecture Notes in Computer Science, pages 605-620, Springer, 2009. [doi]
@inproceedings{CaiG09-0,
title = {Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus},
author = {Xiaojuan Cai and Yonggen Gu},
year = {2009},
doi = {10.1007/978-3-642-02457-3_52},
url = {http://dx.doi.org/10.1007/978-3-642-02457-3_52},
researchr = {https://researchr.org/publication/CaiG09-0},
cites = {0},
citedby = {0},
pages = {605-620},
booktitle = {Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II},
editor = {Osvaldo Gervasi and David Taniar and Beniamino Murgante and Antonio Laganà and Youngsong Mun and Marina L. Gavrilova},
volume = {5593},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02456-6},
}