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