[1]
D. Grohmann and M. Miculan, “Deriving Barbed Bisimulations for Bigraphical Reactive Systems”,
ECEASST
, vol. 16, Jul. 2009.