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]
No references recorded for this publication.
No citations of this publication recorded.