Formalizing Determinacy of Concurrent Revisions

POPL 2020