BDNF-Based Matching of Bigraphs
Research output: Book/Report › Report › Research
Standard
BDNF-Based Matching of Bigraphs. / Glenstrup, Arne John; Damgaard, Troels Christoffer; Birkedal, Lars; Elsman, Martin.
2006.Research output: Book/Report › Report › Research
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - RPRT
T1 - BDNF-Based Matching of Bigraphs
AU - Glenstrup, Arne John
AU - Damgaard, Troels Christoffer
AU - Birkedal, Lars
AU - Elsman, Martin
PY - 2006/10/1
Y1 - 2006/10/1
N2 - We analyze the matching problem for bigraphs. In particular, we present an axiomatization of the static theory of binding bigraphs, a non-trivial extension of the axiomatization of pure bigraphs developed by Milner. Based directly on the term language resulting from the axiomatization we present a sound and complete inductive characterization of matching of binding bigraphs. Our results pave the way for an actual matching algorithm, as needed for an implementation of bigraphical reactive systems.
AB - We analyze the matching problem for bigraphs. In particular, we present an axiomatization of the static theory of binding bigraphs, a non-trivial extension of the axiomatization of pure bigraphs developed by Milner. Based directly on the term language resulting from the axiomatization we present a sound and complete inductive characterization of matching of binding bigraphs. Our results pave the way for an actual matching algorithm, as needed for an implementation of bigraphical reactive systems.
M3 - Report
BT - BDNF-Based Matching of Bigraphs
ER -
ID: 129628244