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]
Abstract is missing.