High-Level Specification of Concurrency Control in Distributed Database Systems.

Lin Chiu, Ming T. Liu

Browse the full ICSE paper archive.