@article {411, title = {Relating two automata-based models of orchestration and choreography}, year = {2016}, author = {Davide Basile and Pierpaolo Degano and Gianluigi Ferrari and Emilio Tuosto} }