Distributed execution of bigraphical reactive systems | Publicación