Pages that link to "Item:Q5313719"
From MaRDI portal
The following pages link to Adhesive and quasiadhesive categories (Q5313719):
Displayed 22 items.
- Lex colimits (Q456823) (← links)
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Subobject transformation systems (Q934672) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (Q2864377) (← links)
- Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories (Q2864378) (← links)
- Adhesive DPO Parallelism for Monic Matches (Q2867888) (← links)
- Modelling Calculi with Name Mobility using Graphs with Equivalences (Q2867900) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)
- Equilibrium and termination II: the case of Petri nets (Q4917190) (← links)
- Towards Secrecy for Rewriting in Weakly Adhesive Categories (Q5166615) (← links)
- A Note on an Old-Fashioned Algebra for (Disconnected) Graphs (Q5170278) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)