Specifying and Verifying Fault-Tolerant Systems.

Leslie Lamport Stephan Merz

Published in: FTRTFT (1994)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
management system
learning systems
complex systems
high availability
interconnection networks
software engineering
operating system
intelligent agents
embedded systems
state machine
mobile agent system