Adaptable Correctness through Two-Dimensional Locking

Randi Karlsen. Adaptable Correctness through Two-Dimensional Locking. In DEXA Workshop. pages 734-741, 1997.

Abstract

Abstract is missing.