FM
2001
Springer
14 years 4 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...