Deciding choreography realizability, in: (2012)

by S Basu, T Bultan, M Ouederni
Venue:Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012,