TY  - RPRT
TI  - An algebra of synchronous atomic steps
AU  - Ian J. Hayes
AU  - Robert Colvin
AU  - Larissa Meinicke
AU  - Kirsten Winter
AU  - Andrius Velykis
PY  - 2022
DO  - 10.1007/978-3-319-48989-6_22
UR  - https://arxiv.org/abs/1609.00118
ID  - 1609.00118
ER  -