A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
Under an Elsevier user license
open archive
Keywords
Labeled transition systems
Discrete-/continuous-time Markov chains
Discrete-/continuous-time Markov decision processes
Bisimulation equivalences
Trace equivalences
Testing equivalences
Cited by (0)
Copyright © 2013 Elsevier Inc. All rights reserved.