TY  - RPRT
TI  - Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
AU  - Guilheme Jaber
AU  - Davide Sangiorgi
PY  - 2026
UR  - https://arxiv.org/abs/2504.18227
ID  - 2504.18227
ER  -