This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Interleave Principle for Demonstrating concurrent Programs
October-December 1984 (vol. 1 no. 4)
pp. 54-64
T.G. Lewis, Oregon State University
Although they want to know whether their concurrent programs are working properly, programmers may not need a rigorous proof of correctness.
Citation:
T.G. Lewis, K.R. Spitz, P.E. McKenney, "An Interleave Principle for Demonstrating concurrent Programs," IEEE Software, vol. 1, no. 4, pp. 54-64, Oct.-Dec. 1984, doi:10.1109/MS.1984.229462
Usage of this product signifies your acceptance of the Terms of Use.