Academic
Publications
Reduction: a method of proving properties of parallel programs

Reduction: a method of proving properties of parallel programs,10.1145/361227.361234,Communications of The ACM,Richard J. Lipton

Reduction: a method of proving properties of parallel programs   (Citations: 209)
BibTex | RIS | RefWorks Download
When proving that a parallel program has a given property it is often convenient to assume that a statement is indivisible, i.e. that the statement cannot be interleaved with the rest of the program. Here sufficient conditions are obtained to show that the assumption that a statement is indivisible can be relaxed and still preserve properties such as halting. Thus correctness proofs of a parallel system can often be greatly simplified.
Journal: Communications of The ACM - CACM , vol. 18, no. 12, pp. 717-721, 1975
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: