ITEC -  Operating Systems Group

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

  • Author:

    P.S. Yu, H.-U. Heiß, D.M. Dias

  • Source:

    IEEE Trans. On Knowledge and Data Engineering, Vol. 3, No. 4, 525-537, Dec. 1991

  • Date: 1991