Proof Rules for Fault Tolerant Distributed Programs.

Mathai Joseph Abha Moitra Neelam Soundararajan

Published in: Sci. Comput. Program. (1987)

Keyphrases

fault tolerant
distributed systems
fault tolerance
load balancing
provably correct
logical rules
state machine
high availability
linear logic
theorem proving
database
database systems
knowledge based systems
mobile agents
distributed environment
mobile agent system