Reasoning about Weak Isolation Levels in Separation Logic

Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet +2

Consistency guarantees among concurrently executing transactions in local- and distributed systems, commonly referred to as isolation levels, have been formalized in a number of mo…