Searching for "Axiomatizing Binding Bigraphs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

Syntactic theory for bigraphs
by Supervisor Lars Birkedal, Troels Christoffer Damgaard, Troels Christoffer Damgaard — 2006 — IT University of Copenhagen
…-authors). First, I give an axiomatization of structural congruence (graph equivalence) for binding bigraphs. Along…
Cited by 2 (1 self) – Add To MetaCart

Developing Bigraphical Languages
by Troels Christoffer Damgaard, A Phd Dissertation
….1.1 Axiomatizing Binding Bigraphs . . . . . . . . . . . . . . . . . 17 2.1.2 An Inductive Characterization…
Add To MetaCart

Formalizing higher-order mobile embedded business processes with binding bigraphs
by Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebr, Henning Niss — 2008 — In Proceedings of COORDINATION 08, Lecture Notes in Computer Science
… bigraphs also admit a representation via a term language based on the axiomatization of binding bigraphs [7…
Cited by 2 (1 self) – Add To MetaCart

in the Bigraphical Programming Languages (BPL) Tool ∗
by Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebr, Espen Højsgaard, Henning Niss, Copyright C, Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebr, Espen Højsgaard, Henning Niss, Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebr, Espen Højsgaard, Henning Niss — 1600
…. However, binding bigraphs also admit a representation via a term language based on the axiomatization…
Add To MetaCart

Showing 1 through 4.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB