TY  - RPRT
TI  - A structural operational semantics for interactions with a look at loops
AU  - Erwan Mahe
AU  - Christophe Gaston
AU  - Pascale Le Gall
PY  - 2021
UR  - https://arxiv.org/abs/2105.00208
ID  - 2105.00208
ER  -