@misc{indiciae7f8eedc411df,
  title = {Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks},
  author = {Bas van den Heuvel and Jorge A. Pérez},
  year = {2024},
  doi = {10.46298/lmcs-20(4:6)2024},
  url = {https://arxiv.org/abs/2111.13091},
  note = {Source identifier: 2111.13091}
}