@misc{indiciaecedd7b21dfb6,
  title = {A denotational semantics for PROMELA addressing arbitrary jumps},
  author = {Marco Comini and María del Mar Gallardo and Alicia Villanueva},
  year = {2021},
  url = {https://arxiv.org/abs/2108.12348},
  note = {Source identifier: 2108.12348}
}