Formal aspects of optimistic concurrency control in a multiple version database system

From MaRDI portal
Publication:1054483