@inproceedings{LICS21,
  title         = {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom},
  author        = {van Glabeek, Robert J. and H{\"o}fner, Peter and Horne, Ross},
  year          = {2021},
  booktitle     = {36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '21)},
  pages         = {1-16},
  doi           = {10.1109/LICS52264.2021.9470531},
  url           = {https://satoss.uni.lu/members/ross/pdf/LICS21.pdf},
  publisher     = {IEEE}
}