@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}
}