TY - JOUR AU - Aceto, Luca AU - Ésik, Zoltán AU - Ingólfsdóttir, Anna PY - 2002/02/05 Y2 - 2024/03/28 TI - Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) JF - BRICS Report Series JA - BRICS VL - 9 IS - 6 SE - Articles DO - 10.7146/brics.v9i6.21724 UR - https://tidsskrift.dk/brics/article/view/21724 SP - AB - This paper gives an equational axiomatization of probabilistic bisimulation equivalence for a class of finite-state agents previously studied by Stark and Smolka ((2000) <em>Proof, Language, and Interaction: Essays in Honour of Robin Milner</em>, pp. 571-595). The axiomatization is obtained by extending the general axioms of iteration theories (or iteration algebras), which characterize the equational properties of the fixed point operator on (omega-)continuous or monotonic functions, with three axiom schemas that express laws that are specific to probabilistic bisimilarity. Hence probabilistic bisimilarity (over finite-state agents) has an equational axiomatization relative to iteration algebras. ER -