@inproceedings{padovani:hal-00546531,
  TITLE = {{Fair Subtyping for Multi-Party Session Types}},
  AUTHOR = {Padovani, Luca},
  URL = {https://hal.science/hal-00546531},
  BOOKTITLE = {{13th Conference on Coordination Models and Languages (COORDINATION)}},
  ADDRESS = {Reykjavik, Iceland},
  EDITOR = {Wolfgang Meuter and Gruia-Catalin Roman},
  PUBLISHER = {{Springer}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-6721},
  PAGES = {127-141},
  YEAR = {2011},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-21464-6\_9},
  KEYWORDS = {Subtyping ; session types ; liveness properties},
  PDF = {https://hal.science/hal-00546531v2/file/main.pdf},
  HAL_ID = {hal-00546531},
  HAL_VERSION = {v2},
}