@misc{indiciae4425b67bf4ed,
  title = {Deterministic concurrent systems},
  author = {Samy Abbes},
  year = {2021},
  url = {https://arxiv.org/abs/2008.07233},
  note = {Source identifier: 2008.07233}
}