K.: Decidability results for choreography realization (2011)

by N Lohmann, Wolf
Venue:In: ICSOC 2011, LNCS 7084