Pages that link to "Item:Q3525650"
From MaRDI portal
The following pages link to Reactive Systems over Directed Bigraphs (Q3525650):
Displaying 8 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- An Algebra for Directed Bigraphs (Q2870313) (← links)
- DBtk: A Toolkit for Directed Bigraphs (Q2888502) (← links)
- Security, Cryptography and Directed Bigraphs (Q3540426) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- Computing Embeddings of Directed Bigraphs (Q5100725) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
