Probability and Nondeterminism in Operational Models of Concurrency.

Roberto Segala

Browse the full CONCUR paper archive.