An Algebra for Directed Bigraphs

We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generalization of other variants of bigraphs. We give a sound and complete axiomatization of the (pre)category of directed bigraphs. Using this axiomatization, we give an adequate encoding of the Fusion calculus, showing the utility of the added directness.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Davide Grohmann, Marino Miculan
• Keywords: Algebraic Structure, Bigraphical Model, ENTCS 2008, Unifying Generalization