Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422132 | Electronic Notes in Theoretical Computer Science | 2008 | 15 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics