Grohmann, D.; Miculan, M. Deriving Barbed Bisimulations for Bigraphical Reactive Systems. eceasst 2009, 16.