An Epistemic Perspective on Consistency of Concurrent Computations.

Klaus von Gleissenthall, Andrey Rybalchenko

Browse the full CONCUR paper archive.