Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CONCUR
2006
Springer

favoriteEmaildiscussreport

112views Distributed And Parallel Com...» more CONCUR 2006»

Probability and Nondeterminism in Operational Models of Concurrency

13 years 8 months ago

Probability and Nondeterminism in Operational Models of Concurrency

Download profs.sci.univr.it

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

Real-time Traffic

CONCUR 2006 | Distributed And Parallel Computing | Operational Models | Probabilistic Automata | Probabilistic Behavior |

claim paper

Related Content

» Process Algebra Having Inherent Choice Revised Semantics for Concurrent Systems

» Composing Systems While Preserving Probabilities

» Process Algebra with Probabilistic Choice

» Integrating Probability with Time and SharedVariable Concurrency

» Games Time and Probability Graph Models for System Design and Analysis

» A Truly Concurrent Semantics for a Simple Parallel Programming Language

» An Operational Semantics for Declarative MultiParadigm Languages

» CacheBased Model Checking of Networked Applications From Linear to Branching Time

» CoOperative and Concurrent Blending Motion Generators

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2006
Where	CONCUR
Authors	Roberto Segala

Comments (0)