The following pages link to (Q4457841):
Displaying 15 items.
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones (Q1634845) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Adhesive DPO parallelism for monic matches (Q2867888) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi (Q3184728) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Convenient category of processes and simulations I: Modulo strong bisimilarity (Q5057463) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)