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