Pages that link to "Item:Q2490119"
From MaRDI portal
The following pages link to Pure bigraphs: structure and dynamics (Q2490119):
Displaying 33 items.
- Using bigraphs to model topological graphs embedded in orientable surfaces (Q383361) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- The calculus of context-aware ambients (Q716296) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- An inductive characterization of matching in binding bigraphs (Q1941899) (← links)
- Chromar, a rule-based language of parameterised objects (Q2130570) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Matching of Bigraphs (Q2867883) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- An Algebra for Directed Bigraphs (Q2870313) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Security, Cryptography and Directed Bigraphs (Q3540426) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- A Higher-Order Calculus of Computational Fields (Q4617982) (← links)
- Open-graphs and monoidal theories (Q4917191) (← links)
- Kind Bigraphs (Q4982073) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- Directed Bigraphs (Q5262934) (← links)
- Stochastic Bigraphs (Q5415632) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- Formal modeling of multi-viewpoint ontology alignment by mappings composition (Q6152842) (← links)
