@misc{indiciaeb1e18f1c1553,
  title = {Deadlock-free Context-free Session Types},
  author = {Andreia Mordido and Jorge A. Pérez},
  year = {2026},
  url = {https://arxiv.org/abs/2506.20356},
  note = {Source identifier: 2506.20356}
}