This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Reasoning About Probabilistic Behavior in Concurrent Systems
June 1987 (vol. 13 no. 6)
pp. 740-745
S. Purushothaman, Department of Computer Science, Pennsylvania State University
Certain aspects of the behavior of concurrent systems are intrinsically probabilistic in nature, e.g., the behavior of imperfect communication media used in network protocols. We address the problem of expressing such behavior in an algebraic calculus for communicating systems. The introduction of probabilistic information in the calculus alleviates the problem of proving liveness, as proving liveness now amounts to proving that its probability is 1. A methodology for proving both safety and liveness is developed and used in proving the correctness of the Alternating Bit Protocol.
Index Terms:
protocol, Calculus for communicating systems, correctness, liveness, probability
Citation:
S. Purushothaman, P.A. Subrahmanyam, "Reasoning About Probabilistic Behavior in Concurrent Systems," IEEE Transactions on Software Engineering, vol. 13, no. 6, pp. 740-745, June 1987, doi:10.1109/TSE.1987.233478
Usage of this product signifies your acceptance of the Terms of Use.