Pages that link to "Item:Q1389441"
From MaRDI portal
The following pages link to Open maps, behavioural equivalences, and congruences (Q1389441):
Displaying 9 items.
- Presheaf models for CCS-like languages (Q1399958) (← links)
- System theory for system identification. (Q1421324) (← links)
- Open maps in concrete categories and branching bisimulation for prefix orders (Q2520701) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- Bisimulation relations for dynamical and control systems (Q2842819) (← links)
- Paths and simulations (Q2842830) (← links)
- (Q4219023) (← links)
- Open maps, behavioural equivalences, and congruences (Q5878914) (← links)
- Weighted and branching bisimilarities from generalized open maps (Q6091200) (← links)