The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - October-December (1984 vol.1)
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
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, October-December 1984, doi:10.1109/MS.1984.229462
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool