Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification

Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer +1

Bisimulation is crucial for verifying process equivalence in probabilistic systems. This paper presents a novel logical framework for analyzing bisimulation in probabilistic parame…