@misc{indiciae051776e55914,
  title = {An algebra of synchronous atomic steps},
  author = {Ian J. Hayes and Robert Colvin and Larissa Meinicke and Kirsten Winter and Andrius Velykis},
  year = {2022},
  doi = {10.1007/978-3-319-48989-6\_22},
  url = {https://arxiv.org/abs/1609.00118},
  note = {Source identifier: 1609.00118}
}