probabilistic i/o automata

LICS
1998
IEEE

147views Automated Reasoning» more LICS 1998»

Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata

13 years 8 months ago

Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...

Eugene W. Stark, Scott A. Smolka

claim paper

Read More »

click to vote

CONCUR
1994
Springer

118views Distributed And Parallel Com...» more CONCUR 1994»

Composition and Behaviors of Probabilistic I/O Automata

13 years 8 months ago

Download www.cs.sunysb.edu

We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...

Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers