Tech Report Number
85-525
Date of this Version
7-9-1985
Recommended Citation
Murtagh, Thomas P., "Eliminating Proofs of Interference-freedom from Levin-Gries CSP Program Proofs" (1985). Department of Computer Science Technical Reports. Paper 444.
https://docs.lib.purdue.edu/cstech/444
Number of Pages
24