TY  - RPRT
TI  - Handling localisation in rely/guarantee concurrency: An algebraic approach
AU  - Larissa A. Meinicke
AU  - Ian J. Hayes
PY  - 2019
UR  - https://arxiv.org/abs/1907.04005
ID  - 1907.04005
ER  -