Pages that link to "Item:Q1389441"
From MaRDI portal
The following pages link to Open maps, behavioural equivalences, and congruences (Q1389441):
Displaying 5 items.
- Presheaf models for CCS-like languages (Q1399958) (← links)
- System theory for system identification. (Q1421324) (← 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)
