A Rigorous Approach to Fault-Tolerant Programming.

Flaviu Cristian

Published in: IEEE Trans. Software Eng. (1985)

Keyphrases

fault tolerant
fault tolerance
distributed systems
programming language
load balancing
state machine
computer programming
high availability
safety critical
interconnection networks