MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Spatial Logics for Bigraphs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Spatial Logics for Bigraphs  
  • by Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone — 2005 — In Proceedings of ICALP’05, volume 3580 of LNCS
  • …Spatial Logics for Bigraphs Giovanni Conforti 1,3 , Damiano Macedonio 2,3 , and Vladimiro Sassone…
  • Cited by 17 (3 self) – Add To MetaCart
  • Bigraphical Logics for XML  
  • by Giovanni Conforti , Damiano Macedonio, Vladimiro Sassone — 2005
  • …], we build on such bi-structural nature to introduce a ‘contextual spatial logic’ for bigraphs built…
  • Cited by 6 (3 self) – 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
  • … might make it easier to program directly with bigraphs. One possible attempt is to use spatial logics…
  • Add To MetaCart
  • Sortings for reactive systems  
  • by Lars Birkedal, Søren Debois, Thomas Hildebr — 2006 — In Proceedings of CONCUR
  • … gives a connection to BiLog [17, 18], a spatial logic for bigraphs. Given a BiLog formula ψ which…
  • Cited by 10 (7 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB