The following pages link to (Q4362962):
Displaying 19 items.
- Dynamic connectors for concurrency (Q1603689) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- An algebraic presentation of term graphs, via gs-monoidal categories (Q1971974) (← links)
- Coalgebraic monads (Q2842553) (← links)
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Refined Graph Rewriting in Span-Categories (Q2918976) (← links)
- A Heterogeneous Pushout Approach to Term-Graph Transformation (Q3636827) (← links)
- GETGRATS (Q4923529) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- (Q5018495) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)