Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control

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]

Abstract

Abstract is missing.