New Article: "On Resolving Nondeterminism in Choreographies"

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.

Undefined