The Community for Technology Leaders
Green Image
Issue No. 04 - October-December (1984 vol. 1)
ISSN: 0740-7459
pp: 54-64
T.G. Lewis , 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.
INDEX TERMS
null
CITATION

K. Spitz, P. McKenney and T. Lewis, "An Interleave Principle for Demonstrating concurrent Programs," in IEEE Software, vol. 1, no. , pp. 54-64, 1984.
doi:10.1109/MS.1984.229462
81 ms
(Ver 3.3 (11022016))