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

Andrew Butterfield (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics