High-Level Specification of Concurrency Control in Distributed Database Systems

@inproceedings{Chiu-Liu:ICSE88,
  author    = {Lin Chiu and
               Ming T. Liu},
  title     = {{High-Level} Specification of Concurrency Control in Distributed Database Systems},
  booktitle = {ICSE},
  pages     = {309--319},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
}