A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.

Henk Schepers Rob Gerth

Published in: SRDS (1993)

Keyphrases

fault tolerant
distributed systems
proof theory
fault tolerance
real time systems
load balancing
distributed environment
default reasoning
mobile agents
operating system
message passing
distributed database systems
high availability
partial order
high assurance