@inproceedings{horne:LIPIcs:2020:12824,
  author        = {Ross Horne},
  title         = {{Session Subtyping and Multiparty Compatibility Using Circular Sequents}},
  booktitle     = {31st International Conference on Concurrency Theory (CONCUR 2020)},
  pages         = {12:1--12:22},
  series        = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn          = {978-3-95977-160-3},
  issn          = {1868-8969},
  year          = {2020},
  volume        = {171},
  editor        = {Igor Konnov and Laura Kov{\'a}cs},
  publisher     = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address       = {Dagstuhl, Germany},
  url           = {https://satoss.uni.lu/members/ross/pdf/sequents.pdf},
  urn           = {urn:nbn:de:0030-drops-128245},
  doi           = {10.4230/LIPIcs.CONCUR.2020.12},
  annote        = {Keywords: session types, subtyping, compatibility, linear logic, deadlock freedom}
}