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.

• Type: Conference
• Year: 2006
• Where: CONCUR
• Authors: Roberto Segala
• Keywords: CONCUR 2006, Distributed And Parallel Computing, Operational Models, Probabilistic Automata, Probabilistic Behavior