Probabilistic Anonymity Via Coalgebraic Simulations.

Ichiro Hasuo, Yoshinobu Kawabe

Browse the full ESOP paper archive.