[1]
D. Grohmann and M. Miculan, “Controlling resource access in Directed Bigraphs”, eceasst, vol. 10, Jul. 2008.