Pages that link to "Item:Q5878914"
From MaRDI portal
The following pages link to Open maps, behavioural equivalences, and congruences (Q5878914):
Displaying 5 items.
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Coalgebra morphisms subsume open maps (Q1603818) (← links)
- Open maps in concrete categories and branching bisimulation for prefix orders (Q2520701) (← links)
- (Q4219023) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)