A. Mansutti, M. Miculan, and M. Peressotti, “Distributed execution of bigraphical reactive systems”, eceasst, vol. 71, Sep. 2015.