global state space | Sciweavers

195

Voted

LICS
1998
IEEE

147views Automated Reasoning» more LICS 1998»

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

15 years 10 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 »

152

Voted

ICPADS
1994
IEEE

113views Distributed And Parallel Com...» more ICPADS 1994»

Techniques to Tackle State Explosion in global Predicate Detection

15 years 10 months ago

Download www.utdallas.edu

Sridhar Alagar, Subbarayan Venkatesan

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers