De Nicola & Michele Loreti (2013): A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (0)

by Marco Bernardo, Rocco
Venue:Information and Computation