Amit Pravin Sheth
-
High level specification of concurrency control in distributed database systems
ICSE '88 Proceedings of the 10th international conference on Software engineering