@inproceedings{barbanera:hal-03005377,
  TITLE = {{Choreography Automata}},
  AUTHOR = {Barbanera, Franco and Lanese, Ivan and Tuosto, Emilio},
  URL = {https://inria.hal.science/hal-03005377},
  NOTE = {Online event due to covid},
  BOOKTITLE = {{COORDINATION 2020 - 22nd International Conference on Coordination Models and Languages}},
  ADDRESS = {Valletta, Malta},
  PAGES = {86 - 106},
  YEAR = {2020},
  MONTH = Jun,
  DOI = {10.1007/978-3-030-50029-0\_6},
  PDF = {https://inria.hal.science/hal-03005377/file/main.pdf},
  HAL_ID = {hal-03005377},
  HAL_VERSION = {v1},
}