Probability and nondeterminism in operational models of concurrency (2006)

by R Segala
Venue:In Proc. of CONCUR’06, volume 4137 of LNCS