Sciweavers

Share
CONCUR
2006
Springer

Probability and Nondeterminism in Operational Models of Concurrency

11 years 12 months ago
Probability and Nondeterminism in Operational Models of Concurrency
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our survey is carried out from the perspective of probabilistic automata, a model originally developed for the analysis of randomized distributed algorithms.
Roberto Segala
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where CONCUR
Authors Roberto Segala
Comments (0)
books