Firm real-time optimistic concurrency control algorithms for replicated database systems | IEEE Conference Publication | IEEE Xplore