Probabilistic communicating processes

This publication has 14 references indexed in Scilit:

• Book Review — An Introduction to Probability Theory and its Applications 2, 2nd ed.
  Published by World Scientific Pub Co Pte Ltd ,2004
• Probabilistic communicating processes
  Theoretical Computer Science, 1995
• Reactive, Generative, and Stratified Models of Probabilistic Processes
  Information and Computation, 1995
• Reasoning about probabilistic parallel programs
  ACM Transactions on Programming Languages and Systems, 1994
• Recursion induction for real-time processes
  Formal Aspects of Computing, 1993
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Probabilistic self-stabilization
  Information Processing Letters, 1990
• Parallel program design: a foundation: Chandry, K M and Misra, J Addison-Wesley, Wokingham, UK (1988) £19.95 pp 516
  Microprocessors and Microsystems, 1989
• Defining liveness
  Information Processing Letters, 1985
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955