Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

Marco Bernardo, Rocco De Nicola, Michele Loreti

Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability rela…