Realizability of Choreographies Using Process Algebra Encodings | Publicación