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

Niklas Ekström Seif Haridi

Published in: CoRR (2016)

Keyphrases

fault tolerant
fault tolerance
distributed systems
state machine
provably correct
load balancing
high availability
theorem prover
safety critical
linear logic
mobile agent system
databases
database systems