Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)

Damien Imbs, Michel Raynal. Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations). Theoretical Computer Science, 444:113-127, 2012. [doi]

Abstract

Abstract is missing.