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

@inproceedings{Stark1998CompositionalAO,
  title={Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata},
  author={Eugene W. Stark and Scott A. Smolka},
  booktitle={LICS},
  year={1998}
}
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 composition, for constructing a PIOA for a composite system from a collection of PIOAs representing the components. We present a method for computing completion probability and expected completion time for PIOAs. Our method is compositional, in the sense that it can be applied to a system of PIOAs, one component at a… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

Product-Forms for Probabilistic Input/Output Automata

2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) • 2016
View 5 Excerpts
Highly Influenced

Probabilistic performance risk analysis at system-level

2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) • 2007
View 1 Excerpt

Similar Papers

Loading similar papers…