Distributed Reactive Systems Are Hard to Synthesize

Amir Pnueli, Roni Rosner

Browse the full FOCS paper archive.