The Tuple Channel coordination model | Publicación