Equational axioms for probabilistic bisimilarity (2002)

by Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir
Venue:IN PROCEEDINGS OF 9TH AMAST, LECTURE NOTES IN COMPUTER SCIENCE