MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Bigraphical Categories." – 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
  • MFPS 2008 Stochastic Bigraphs 1  
  • by Jean Krivine, Robin Milner, Angelo Troina
  • … to be presented later. Signature and interface Bigraphs are the arrows in a category in which the objects…
  • Add To MetaCart
  • unknown title  
  • by Mfps Stochastic Bigraphs
  • … and the calculation of rates to be presented later. Signature and interface Bigraphs are the arrows in a category…
  • Add To MetaCart
  • Typed polyadic pi-calculus in bigraphs  
  • by Mikkel Bundgaard, Vladimiro Sassone — 2006 — Proceedings of the 8th International Symposium on Principles and Practice of Declarative Programming (PPDP'06)
  • … systems for the (polyadic) π-calculus as sortings in the setting of bigraphs. Categories and Subject…
  • Cited by 4 (0 self) – Add To MetaCart
  • Typed Polyadic Pi-Calculus in Bigraphs  
  • by Mikkel Bundgaard It, Mikkel Bundgaard — 2006 — In: PPDP ‘06
  • … systems for the (polyadic) π-calculus as sortings in the setting of bigraphs. Categories and Subject…
  • Add To MetaCart
  • Reactive systems over directed bigraphs  
  • by Davide Grohmann, Marino Miculan — 2007 — Proc. CONCUR 2007, Lecture Notes in Computer Science 4703 (2007
  • … and edges. To this end, we introduce the category DBig of abstract directed bigraphs. The category DBig…
  • Cited by 4 (0 self) – Add To MetaCart
  • Syntactic theory for bigraphs  
  • by Supervisor Lars Birkedal, Troels Christoffer Damgaard, Troels Christoffer Damgaard — 2006 — IT University of Copenhagen
  • …. Eliding some detail, taking interfaces as objects and bigraphs as morphisms we have a category of binding…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB