A Rigorous Approach to Fault-Tolerant System Development (Extended Abstract).

Flaviu Cristian

Published in: Logic of Programs (1983)

Keyphrases

extended abstract
fault tolerant
fault tolerance
distributed systems
safety critical
load balancing
software engineering
knowledge based systems
high availability
state machine
query processing
response time
mobile agent system