TY  - RPRT
TI  - Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations
AU  - Steven Cheng
AU  - Lisa Higham
AU  - Jalal Kawash
PY  - 2013
UR  - https://arxiv.org/abs/1306.0077
ID  - 1306.0077
ER  -