Amir Pnueli, Roni Rosner. On the Synthesis of an Asynchronous Reactive Module. In Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, editors, Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Volume 372 of Lecture Notes in Computer Science, pages 652-671, Springer, 1989.
Abstract is missing.