@Article{ Leiserson16,
author = {Charles E. Leiserson},
title = {A Simple Deterministic Algorithm for Guaranteeing the Forward Progress of Transactions},
journal = {Information Systems},
year = {2016},
optkey = {},
volume = {57},
optnumber = {},
pages = {69--74},
month = apr,
optnote = {},
optannote = {}
}