TY  - RPRT
TI  - An Epistemic Perspective on Consistency of Concurrent Computations
AU  - Klaus v. Gleissenthall
AU  - Andrey Rybalchenko
PY  - 2013
UR  - https://arxiv.org/abs/1305.2295
ID  - 1305.2295
ER  -