Nondeterministic labeled Markov processes: Bisimulations and logical characterization (2009)

by P R D’Argenio, N Wolovick, P S Terraf, P Celayes
Venue:In QEST