On the Synthesis of an Asynchronous Reactive Module (1989)

by A Pnueli, R Rosner
Venue:In ICALP ’89