TY - RPRT TI - A Concurrent Model for Imperative Languages with Improved Atomicity AU - Keehang Kwon AU - Daeseong Kang PY - 2017 UR - https://arxiv.org/abs/1701.01785 ID - 1701.01785 ER -