Distributed Reactive Systems Are Hard to Synthesize

Distributed Reactive Systems Are Hard to Synthesize Amir Pnueli Roni Rosner 746-757 conf/focs/FOCS31b 1990 FOCS db/conf/focs/focs90.html#PnueliR90