Semantic Refinement of Concurrent Object Systems Based on Serializability

Grit Denker. Semantic Refinement of Concurrent Object Systems Based on Serializability. In Object Orientation with Parallelism and Persistence. pages 105-126, 1995.

Abstract

Abstract is missing.