A Proof Technique for Register Automicity

Baruch Awerbuch, Lefteris M. Kirousis, Evangelos Kranakis, Paul M. B. Vitányi. A Proof Technique for Register Automicity. In Kesav V. Nori, Sanjeev Kumar, editors, Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings. Volume 338 of Lecture Notes in Computer Science, pages 286-303, Springer, 1988.

Authors

Baruch Awerbuch

This author has not been identified. Look up 'Baruch Awerbuch' in Google

Lefteris M. Kirousis

This author has not been identified. Look up 'Lefteris M. Kirousis' in Google

Evangelos Kranakis

This author has not been identified. Look up 'Evangelos Kranakis' in Google

Paul M. B. Vitányi

This author has not been identified. Look up 'Paul M. B. Vitányi' in Google