Comparative Branching-Time Semantics for Markov Chains

Information and Computation - United States
doi 10.1016/j.ic.2005.03.001