A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences

Marco Bernardo, Rocco De Nicola, Michele Loreti. A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput., 225:29-82, 2013. [doi]

Abstract

Abstract is missing.