Bisimilarity; Modal logic characterizations; Reactive probabilistic systems; Theoretical Computer Science; Computer Science (all)

Constructive logical characterizations of bisimilarity for reactive probabilistic systems