"Decidability Results for Choreography Realization."

Niels Lohmann, Karsten Wolf (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics