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
Citations:17 - 0 self