TY  - RPRT
TI  - Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency
AU  - Ian J. Hayes
AU  - Larissa A. Meinicke
PY  - 2026
UR  - https://arxiv.org/abs/2607.17536
ID  - 2607.17536
ER  -