A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics.

Andrew Butterfield

Published in: FME (1993)

Keyphrases

fault tolerant
fault tolerance
distributed systems
computer engineering
electrical engineering
computer science
database management systems
concurrency control
file system
data storage
safety critical