Practical Modelling with Bigraphs - Archibald, Blair; Calder, Muffy; Sevegnani, Michele (Formal aspects of computing, 2025)
Keywords: Computing methodologies; Graph algorithms; Mathematics of computing; Modeling and simulation; Models of computation; Theory of computation; rewrite systems; graph rewriting; Bigraphs