@misc{indiciae78f213d27d9c,
  title = {LAGC Semantics of Concurrent Programming Languages},
  author = {Crystal Chang Din and Reiner Hähnle and Ludovic Henrio and Einar Broch Johnsen and Violet Ka I Pun and Silvia Lizeth Tapia Tarifa},
  year = {2022},
  url = {https://arxiv.org/abs/2202.12195},
  note = {Source identifier: 2202.12195}
}