Probability and Nondeterminism in Operational Models of Concurrency