Conference Proceedings

HIGH LEVEL SPECIFICATION OF CONCURRENCY CONTROL IN DISTRIBUTED DATABASE SYSTEMS.

Proceedings - International Conference on Software Engineering (1988) 309-317
DOI: 10.1109/icse.1988.93711
0Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.
Get full text

Abstract

The authors propose a high-level specification that is based on an object-oriented model of concurrency control algorithms. Concurrency control algorithms are specified in a high-level fashion without losing their formality. Using the object-oriented model, objects are individually specified. Therefore, the specification of a concurrency control algorithm consists of the specifications of objects and their interactions.

Cite

CITATION STYLE

APA

Chiu, L., & Liu, M. T. (1988). HIGH LEVEL SPECIFICATION OF CONCURRENCY CONTROL IN DISTRIBUTED DATABASE SYSTEMS. In Proceedings - International Conference on Software Engineering (pp. 309–317). IEEE. https://doi.org/10.1109/icse.1988.93711

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free