Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus.

Xiaojuan Cai, Yonggen Gu

Browse the full ICCSA paper archive.