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