Continuous Stochastic Logic Characterizes Bisimulation of Continuous-time Markov Processes (2002)

by Josée Desharnais, Prakash Panangaden
Venue:J. of Logic and Alg. Progr