MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Bigraphical Reactive Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 36 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Bigraphical Reactive Systems: Basic Theory  
  • by Robin Milner, Robin Milner — 2001 — Proceedings of the International Conference of Mathematicians
  • …://www.cl.cam.ac.uk/TechReports/ Series editor: Markus Kuhn ISSN 1476-2986 Bigraphical reactive systems: basic theory Robin Milner…
  • Cited by 24 (5 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
  • …. As part of ongoing work on evaluating Milner’s bigraphical reactive systems, we investigate bigraphical…
  • Add To MetaCart
  • unknown title  
  • by Mfps Stochastic Bigraphs
  • … stochastic semantics for Bigraphical Reactive Systems. A reduction and alabelled stochastic semantics…
  • Add To MetaCart
  • MFPS 2008 Stochastic Bigraphs 1  
  • by Jean Krivine, Robin Milner, Angelo Troina
  • … semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs…
  • Add To MetaCart
  • Reactive systems over directed bigraphs  
  • by Davide Grohmann, Marino Miculan — 2007 — Proc. CONCUR 2007, Lecture Notes in Computer Science 4703 (2007
  • …Reactive Systems over Directed Bigraphs ⋆ Davide Grohmann Marino Miculan Dept. of Mathematics…
  • Cited by 4 (0 self) – Add To MetaCart
  • On the Construction of Sorted Reactive Systems  
  • by Lars Birkedal, Søren Debois, Thomas Hildebr — 2008 — In Proceedings of CONCUR’08, LNCS
  • …,debois,hilde}@(email omitted); Abstract. We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs…
  • Cited by 1 (0 self) – Add To MetaCart
  • Bigraphs and Mobile Processes  
  • by Ole Høgh Jensen, Ole Høgh Jensen, Ole Høgh Jensen, Robin Milner, Robin Milner, Robin Milner — 2004
  • … Wide reactive systems 26 5 Transition systems and bisimilarity 30 Part II : Bigraphical Reactive…
  • Cited by 848 (25 self) – Add To MetaCart
  • Bigraphs for Petri nets  
  • by For Petri Nets, Robin Milner — 2004
  • … is given of the use of bigraphical reactive systems (BRSs). It provides a behavioural semantics…
  • Add To MetaCart
  • Syntactic theory for bigraphs  
  • by Supervisor Lars Birkedal, Troels Christoffer Damgaard, Troels Christoffer Damgaard — 2006 — IT University of Copenhagen
  • … for a (term-based) tool for bigraphical reactive systems. I present two main results (developed with co…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB