Probabilistic Anonymity Via Coalgebraic Simulations
Abstract elided by the publisher.
Related papers
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Fast Coalgebraic Bisimilarity Minimization POPL 2023
- Probabilistic Kleene Algebra with Angelic Nondeterminism PLDI 2025
- Peregrine: A Tool for the Analysis of Population Protocols CAV 2018
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996
- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations TACAS 2007
- Optimal Tableau Algorithms for Coalgebraic Logics TACAS 2010
- Algebraic and Coalgebraic Perspectives on Interaction Laws APLAS 2020