Home | english  | Impressum | KIT

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

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

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

Quelle:

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

Datum: 1991