TCD-CS-93-31
....Butterfield, A.
The Careful Memory abstraction in Stable Storage.
April 1993.
Andrew Butterfield
Department of Computer Science
Trinity College, Dublin
Ireland
Keywords: Memory Systems; Stable Storage; Fault Tolerance; Formal Models
Abstract
This article presents models of the Careful operators in Stable
Memory [Lam8i], using Irish VDM as the modelling tool.
Technical Reports Home Page