@misc{indiciaee6b973b36150,
  title = {Proving Correctness of Parallel Implementations of Transition System Specifications},
  author = {Frank S. de Boer and Einar Broch Johnsen and Violet Ka I Pun and Silvia Lizeth Tapia Tarifa},
  year = {2023},
  url = {https://arxiv.org/abs/2302.04661},
  note = {Source identifier: 2302.04661}
}