A.: Equational axioms for probabilistic bisimilarity (2002)

by L Aceto, Z Ésik, Ingólfsdóttir
Venue:AMAST 2002. LNCS