1988
A proof technique for register atomicity (preliminary version)
Publication
Publication
Presented at the
Conference on Foundations of Software Technology and Theoretical Computer Science, Pune, India
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Conference on Foundations of Software Technology and Theoretical Computer Science | |
Organisation | Quantum Computing and Advanced System Research |
Awerbuch, B., Kirousis, L. M., Kranakis, E., & Vitányi, P. (1988). A proof technique for register atomicity (preliminary version). In Foundations of Software Technology and Theoretical Computer Science (pp. 286–303). Springer. |