The following pages link to (Q4362962):
Displaying 16 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)
- Coalgebraic Monads (Q2842553) (← links)
- GS·Λ Theories (Q2842817) (← links)
- An Institution for Graph Transformation (Q2890329) (← 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)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
