Grohmann, D. and Miculan, M. (2009) “Deriving Barbed Bisimulations for Bigraphical Reactive Systems”, Electronic Communications of the EASST, 16. doi: 10.14279/tuj.eceasst.16.254.