An Algebra for Directed Bigraphs

Abstract

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. © 2008 Elsevier B.V. All rights reserved.

Publication
Electronic Notes in Theoretical Computer Science
Date
Links