Synthesis of Fault-Tolerant Concurrent Programs.

Anish Arora Paul C. Attie E. Allen Emerson

Published in: PODC (1998)

Keyphrases

fault tolerant
concurrent programs
fault tolerance
distributed systems
concurrent programming
process algebra
load balancing
safety critical
concurrent systems
distributed computing
state machine
concurrent processes
digital libraries
expert systems
web applications