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