TY  - RPRT
TI  - Reasoning about distributive laws in a concurrent refinement algebra
AU  - Larissa A. Meinicke
AU  - Ian J. Hayes
PY  - 2024
UR  - https://arxiv.org/abs/2403.13425
ID  - 2403.13425
ER  -