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