Synthesis of fault-tolerant concurrent programs.

Paul C. Attie Anish Arora E. Allen Emerson

Published in: ACM Trans. Program. Lang. Syst. (2004)

Keyphrases

fault tolerant
concurrent programs
fault tolerance
distributed systems
concurrent programming
process algebra
load balancing
concurrent systems
concurrent processes
safety critical
state machine
web applications
temporal logic
fault isolation
model checking
peer to peer
database systems