@article{Aceto_Ésik_Ingólfsdóttir_2002, title={Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)}, volume={9}, url={https://tidsskrift.dk/brics/article/view/21724}, DOI={10.7146/brics.v9i6.21724}, abstractNote={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.}, number={6}, journal={BRICS Report Series}, author={Aceto, Luca and Ésik, Zoltán and Ingólfsdóttir, Anna}, year={2002}, month={Feb.} }