Deciding choreography realizability.

Samik Basu, Tevfik Bultan, Meriem Ouederni

Browse the full POPL paper archive.