TY  - RPRT
TI  - A denotational semantics for PROMELA addressing arbitrary jumps
AU  - Marco Comini
AU  - María del Mar Gallardo
AU  - Alicia Villanueva
PY  - 2021
UR  - https://arxiv.org/abs/2108.12348
ID  - 2108.12348
ER  -