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


This article presents models of the Careful operators in Stable Memory [Lam8i], using Irish VDM as the modelling tool.

Technical Reports Home Page