Performance Evaluation of an Optimistic Concurrency Control Algorithm Ensuring Strong Consistency for Transaction Time Relations - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Achraf Makni, Rafik Bouaziz, Faïez Gargouri. Performance Evaluation of an Optimistic Concurrency Control Algorithm Ensuring Strong Consistency for Transaction Time Relations. In Bobby Granville, Narayana Swamy Kutti, Michele Missikoff, Ngoc Thanh Nguyen, editors, International Conference on Enterprise Information Systems and Web Technologies, EISWT-07, Orlando, Florida, USA, July 9-12, 2007. pages 258-265, ISRST, 2007.

The following publications are possibly variants of this publication:

Formal Verification of an Optimistic Concurrency Control Algorithm using SPINAchraf Makni, Rafik Bouaziz, Faïez Gargouri. time 2006: 160-167 [doi]

Formal Verification of an Access Concurrency Control Algorithm for Transaction Time RelationsAchraf Makni, Rafik Bouaziz, Faïez Gargouri. ICEIS 2006: 269-272

runs on WebDSL