@misc{indiciaefbba5ea658bd,
  title = {Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics},
  author = {Guilheme Jaber and Davide Sangiorgi},
  year = {2026},
  url = {https://arxiv.org/abs/2504.18227},
  note = {Source identifier: 2504.18227}
}