Probability and Nondeterminism in Operational Models of Concurrency

Appears: Proceedings of the 17th International Conference on Concurrency Theory (CONCUR '06), Bonn, Germany, LNCS 4137, pages 64-78, August 2006.

Abstract: 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.

Download:

Download the paper from the publisher.

Download an author-created copy of the paper (© Springer-Verlag).