C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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