"Decidability Results for Choreography Realization."

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