Composition and behaviors of probabilistic I/O automata

This publication has 13 references indexed in Scilit:

• Specification and refinement of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Reactive, generative, and stratified models of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Forward and backward simulations for timing-based systems
  Published by Springer Nature ,1992
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Algebraic theory of processes : By M. Hennessy. MIT Press, Cambridge, MA, 1988, Price £16.95 (paperback), ISBN 0-262-08171-7.
  Science of Computer Programming, 1989
• Undergraduate Algebra
  The Mathematical Gazette, 1988
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• INTEGRATION AND MEASURE Vol. I: Lebesgue integration and measure Vol. II: General integration and measure
  Bulletin of the London Mathematical Society, 1980
• Probabilistic automata
  Information and Control, 1963