1. A final coalgebra theorem;Aczel,1989
2. Domain equations for probabilistic processes;Baier;Math. Structures Comput. Sci.,2000
3. Disjunctive probabilistic modal logic is enough for bisimilarity on reactive probabilistic systems;Bernardo,2016
4. On the discriminating power of testing equivalences for reactive probabilistic systems: results and open problems;Bernardo,2014
5. Probability and Measure;Billingsley,1995