A new article has been accepted:
"On Resolving Nondeterminism in Choreographies" by Laura Bocchi, Hernán Melgratti, Emilio Tuosto. Accepted at Logical Methods in Computer Science.
