Distributed Reactive Systems Are Hard to Synthesize

Amir Pnueli Roni Rosner

Published in: FOCS (1990)

Keyphrases

reactive systems
distributed systems
temporal logic
distributed environment
information flow
cooperative
low cost
model checking
peer to peer
computer networks
real time
databases
multi agent
intrusion detection
mobile agents
control flow