Philip S. Yu, Hans-Ulrich Heiss, Daniel M. Dias. Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control. IEEE Trans. Knowl. Data Eng., 3(4):525-537, 1991. [doi]
@article{YuHD91,
title = {Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control},
author = {Philip S. Yu and Hans-Ulrich Heiss and Daniel M. Dias},
year = {1991},
tags = {rule-based, modeling, protocol, analysis, certification, history},
researchr = {https://researchr.org/publication/YuHD91},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {3},
number = {4},
pages = {525-537},
}