Operational semantics of multiagent interactions | Publicación