A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.

Marco Bernardo Stefania Botta A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. 29-55 2008 18 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129507006408 db/journals/mscs/mscs18.html#BernardoB08