@article{lmcs:5809,
    title      = {Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services},
    author     = {Davide Basile and Maurice H. ter Beek and Rosario Pugliese},
    url        = {https://lmcs.episciences.org/5809},
    doi        = {10.23638/LMCS-16(2:9)2020},
    journal    = {Logical Methods in Computer Science},
    issn       = {1860-5974},
    volume     = {Volume 16, Issue 2},
    eid        = 9,
    year       = {2020},
    month      = {Jun},
    keywords   = {Electrical Engineering and Systems Science - Systems and Control, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Formal Languages and Automata Theory},
}