TY  - RPRT
TI  - Weak and Nested Class Memory Automata
AU  - Conrad Cotton-Barratt
AU  - Andrzej Murawski
AU  - Luke Ong
PY  - 2014
UR  - https://arxiv.org/abs/1409.1136
ID  - 1409.1136
ER  -