Pages that link to "Item:Q4331080"
From MaRDI portal
The following pages link to Symmetric monoidal and cartesian double categories as a semantic framework for tile logic (Q4331080):
Displayed 14 items.
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- The Gray monoidal product of double categories (Q2182787) (← links)
- Networks of hybrid open systems (Q2302562) (← links)
- Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata (Q2890298) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- The formal theory of multimonoidal monads (Q4631636) (← links)
- (Q4652984) (← links)
- GETGRATS (Q4923529) (← links)
- Open Petri nets (Q5139283) (← links)
- Protocol choice and iteration for the free cornering (Q6151626) (← links)