Mansutti, A.; Miculan, M.; Peressotti, M. Distributed Execution of Bigraphical Reactive Systems. eceasst 2015, 71.