Determinizing Büchi Asnchronous Automata

Nils Klarlund, Madhavan Mukund, Milind A. Sohoni. Determinizing Büchi Asnchronous Automata. In P. S. Thiagarajan, editor, Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Volume 1026 of Lecture Notes in Computer Science, pages 456-470, Springer, 1995.

Abstract

Abstract is missing.