Distributed execution of specifications | Publicación