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
An Algebra for Directed Bigraphs
MICULAN, Marino
2008-01-01
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 directnessFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
TERMGRAPH07.pdf
accesso aperto
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
359.76 kB
Formato
Adobe PDF
|
359.76 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
