The following pages link to (Q4219023):
Displaying 5 items.
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Coalgebra morphisms subsume open maps (Q1603818) (← links)
- (Q4222924) (← links)
- Open maps, behavioural equivalences, and congruences (Q5878914) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)