Pages that link to "Item:Q3618852"
From MaRDI portal
The following pages link to The Space and Motion of Communicating Agents (Q3618852):
Displaying 30 items.
- Using bigraphs to model topological graphs embedded in orientable surfaces (Q383361) (← links)
- Encoding bigraphical reactive systems into graph transformation systems (Q511000) (← links)
- Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (Q736791) (← links)
- Executing bigraphical reactive systems (Q1634767) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- An inductive characterization of matching in binding bigraphs (Q1941899) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- Bigraphs with sharing (Q2339468) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Finding a Forest in a Tree (Q2811922) (← links)
- Incremental Update for Graph Rewriting (Q2988640) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Robin Milner's Work on Concurrency (Q3178242) (← links)
- Bigraphical Categories (Q3184663) (← links)
- (Q4553286) (← links)
- The monoidal structure of Turing machines (Q4917187) (← links)
- Multi-level modelling via stochastic multi-level multiset rewriting (Q4917198) (← links)
- The Algebra of Directed Acyclic Graphs (Q4922072) (← links)
- Conditional Bigraphs (Q5100722) (← links)
- Computing Embeddings of Directed Bigraphs (Q5100725) (← links)
- (WEAK) INCIDENCE BIALGEBRAS OF MONOIDAL CATEGORIES (Q5140600) (← links)
- Formal Cellular Machinery (Q5404096) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)
- (Q5875399) (← links)
- Formal modeling of multi-viewpoint ontology alignment by mappings composition (Q6152842) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
