@misc{indiciaecf0eeb04acac,
  title = {Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency},
  author = {Ian J. Hayes and Larissa A. Meinicke},
  year = {2026},
  url = {https://arxiv.org/abs/2607.17536},
  note = {Source identifier: 2607.17536}
}