@misc{indiciaea80e31def016,
  title = {Complete Multiparty Session Type Projection with Automata},
  author = {Elaine Li and Felix Stutz and Thomas Wies and Damien Zufferey},
  year = {2024},
  url = {https://arxiv.org/abs/2305.17079},
  note = {Source identifier: 2305.17079}
}