TY  - RPRT
TI  - Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
AU  - Marco Bernardo
AU  - Rocco De Nicola
AU  - Michele Loreti
PY  - 2011
DO  - 10.4204/eptcs.60.5
UR  - https://arxiv.org/abs/1108.1865
ID  - 1108.1865
ER  -