@Inproceedings{EPTCS347.3,
  author    = {van den Heuvel, Bas and P\'erez, Jorge A.},
  year      = {2021},
  title     = {Deadlock Freedom for Asynchronous and Cyclic Process Networks},
  editor    = {Lange, Julien and Mavridou, Anastasia and Safina, Larisa and Scalas, Alceste},
  booktitle = {{\rm Proceedings 14th}
               Interaction and Concurrency Experience,
               {\rm Online, 18th June 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {347},
  publisher = {Open Publishing Association},
  pages     = {38-56},
  doi       = {10.4204/EPTCS.347.3},
}