Sciweavers

117
Voted
LICS
1998
IEEE
15 years 1 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
78
Voted
ICPADS
1994
IEEE
15 years 1 months ago
Techniques to Tackle State Explosion in global Predicate Detection
Sridhar Alagar, Subbarayan Venkatesan