Decidability Results for Choreography Realization.

Niels Lohmann, Karsten Wolf

Browse the full ICSOC paper archive.