Trace-Based Compositional Reasoning about Fault Tolerant Systems.

Henk Schepers Jozef Hooman

Published in: PARLE (1993)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
high assurance
load balancing
high availability
data model
computer systems
state machine
digital libraries
knowledge based systems
learning systems
complex systems