Sciweavers

188
Voted
LICS
1998
IEEE
15 years 9 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
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
148
Voted
ICPADS
1994
IEEE
15 years 10 months ago
Techniques to Tackle State Explosion in global Predicate Detection
Sridhar Alagar, Subbarayan Venkatesan