Pages that link to "Item:Q2842606"
From MaRDI portal
The following pages link to Deriving Bisimulation Congruences: A 2-categorical Approach (Q2842606):
Displayed 5 items.
- Locating reaction with 2-categories (Q1770420) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- Directed Bigraphs (Q5262934) (← links)