Pages that link to "Item:Q2842606"
From MaRDI portal
The following pages link to Deriving bisimulation congruences: a 2-categorical approach (Q2842606):
Displaying 12 items.
- Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones (Q1634845) (← links)
- 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)
- Deriving Bisimulation Congruences with Borrowed Contexts (Q3612482) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Convenient category of processes and simulations I: Modulo strong bisimilarity (Q5057463) (← links)
- Directed Bigraphs (Q5262934) (← links)
- Foundations of Software Science and Computation Structures (Q5308448) (← links)
- (Q5411462) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897764) (← links)