The following pages link to (Q4608677):
Displaying 5 items.
- On the notion of bimodel for functorial semantics (Q1332449) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Bisimilarity of Diagrams (Q5098713) (← links)
- (Q5411462) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)