1 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar +1
Probabilistic bisimulation is a fundamental notion of process equivalence for probabilistic systems. Among others, it has important applications including formalizing the anonymity…