A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof.

Niklas Ekström Seif Haridi

Published in: NETYS (2016)

Keyphrases

fault tolerant
fault tolerance
distributed systems
theorem prover
high availability
state machine
provably correct
databases
artificial intelligence
mobile agent system
fault isolation
database
metadata
response time
ad hoc networks
safety critical