@inproceedings{basile:hal-02365502,
  TITLE = {{Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies}},
  AUTHOR = {Basile, Davide and ter Beek, Maurice H. and Pugliese, Rosario},
  URL = {https://inria.hal.science/hal-02365502},
  NOTE = {Part 3: Exploring New Frontiers},
  BOOKTITLE = {{21th International Conference on Coordination Languages and Models (COORDINATION)}},
  ADDRESS = {Kongens Lyngby, Denmark},
  EDITOR = {Hanne  Riis Nielson and Emilio Tuosto},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Coordination Models and Languages},
  VOLUME = {LNCS-11533},
  PAGES = {129-147},
  YEAR = {2019},
  MONTH = Jun,
  DOI = {10.1007/978-3-030-22397-7\_8},
  KEYWORDS = {Service contracts ; Contract automata ; Controller synthesis ; Orchestration ; Choreography},
  PDF = {https://inria.hal.science/hal-02365502/file/478673_1_En_8_Chapter.pdf},
  HAL_ID = {hal-02365502},
  HAL_VERSION = {v1},
}