TY  - RPRT
TI  - Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style
AU  - Ian J. Hayes
AU  - Larissa A. Meinicke
AU  - Patrick A. Meiring
PY  - 2023
UR  - https://arxiv.org/abs/2103.15292
ID  - 2103.15292
ER  -