Roberto M. Amadio, Sanjiva Prasad. Localities and Failures (Extended Abstract). In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings. Volume 880 of Lecture Notes in Computer Science, pages 205-216, Springer, 1994.
No references recorded for this publication.
No citations of this publication recorded.