@inproceedings{coppo:hal-01486034,
  TITLE = {{Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions}},
  AUTHOR = {Coppo, Mario and Dezani-Ciancaglini, Mariangiola and Padovani, Luca and Yoshida, Nobuko},
  URL = {https://inria.hal.science/hal-01486034},
  BOOKTITLE = {{15th International Conference on Coordination Models and Languages (COORDINATION)}},
  ADDRESS = {Florence, Italy},
  EDITOR = {Rocco Nicola and Christine Julien},
  PUBLISHER = {{Springer}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-7890},
  PAGES = {45-59},
  YEAR = {2013},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-38493-6\_4},
  PDF = {https://inria.hal.science/hal-01486034/file/978-3-642-38493-6_4_Chapter.pdf},
  HAL_ID = {hal-01486034},
  HAL_VERSION = {v1},
}