MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Matching of Bigraphs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Syntactic theory for bigraphs  
  • by Supervisor Lars Birkedal, Troels Christoffer Damgaard, Troels Christoffer Damgaard — 2006 — IT University of Copenhagen
  • … for binding bigraphs. Second, using these results, I give a complete inductive characterization of matching…
  • Cited by 2 (1 self) – Add To MetaCart
  • Developing Bigraphical Languages  
  • by Troels Christoffer Damgaard, A Phd Dissertation
  • … convenient for the analysis of bigraphical structure. We examine next the central problem of matching…
  • Add To MetaCart
  • Web www.itu.dkA Generic Language for Biological Systems based  
  • by Troels C. Damgaard, Jean Krivine, Troels C. Damgaard, Jean Krivine, Rued Langgaards Vej, On Bigraphs, Troels C. Damgaard, Jean Krivine — 1600
  • … and inner names Y . We may compose the bigraph B with A, if the outer face of B matches the inner face of A…
  • Add To MetaCart
  • Matchings  
  • by Stanislav Jendrol, Daniel Král
  • … on the size of inclusion-wise maximal matchings in bigraphs. We then use this lemma to establish the existence…
  • Add To MetaCart
  • Bigraphical Models of Context-aware Systems  
  • by Birkedal Debois Elsborg, L. Birkedal, S. Debois, E. Elsborg, T. Hildebr, H. Niss — 2005 — IT University of Copenhagen
  • …. The rule matches the bigraph A above, taking secret to the site −0 and pda y to the site −1, rewriting A…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB