Title :
An Interleave Principle for Demonstrating concurrent Programs
Author :
Lewis, Ted G. ; Spitz, Keith R. ; McKenney, Paul E.
Author_Institution :
Oregon State University
Abstract :
Although they want to know whether their concurrent programs are working properly, programmers may not need a rigorous proof of correctness.
Keywords :
Application software; Computer networks; Concurrent computing; Programming profession; Real time systems; Resource management; Software performance;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.1984.229462
