Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner. Data Consistency in Transactional Storage Systems: A Centralised Semantics. In Robert Hirschfeld, Tobias Pape, editors, 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Volume 166 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.