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