Characterizing Fault-Tolerant Systems by Means of Simulation Relations.

Ramiro Demasi Pablo F. Castro T. S. E. Maibaum Nazareno Aguirre

Published in: IFM (2013)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
high assurance
expert systems
state machine
load balancing
complex systems
distributed database systems
computer systems
management system
multi agent
database
message passing
database systems
metadata