Title: The Correctness Criterion for Deferred Update Replication
Authors: Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski
Journal: TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15 conferences)
Publication type: conference