TY  - RPRT
TI  - Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools
AU  - Alasdair Armstrong
AU  - Victor B. F. Gomes
AU  - Georg Struth
PY  - 2013
UR  - https://arxiv.org/abs/1312.1225
ID  - 1312.1225
ER  -