"Resolving non-determinism in choreographies" (2014) Bocchi, L.; Melgratti, H.; Tuosto, E.; CNRS; Grenoble INP; Inria; PERSYVAL-Lab and Universite Joseph Fourier; Springer-Verlag 23rd European Symposium on Programming, ESOP 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. 8410 LNCS:493-512