Lazy State Determination: More concurrency for contending linearizable transactionsTiago M Vale, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Ricardo J Dias, João M LourençoPosted Jan 1, 2020 Link