The following pages link to Observing behaviour categorically (Q2956688):
Displaying 6 items.
- Open maps, behavioural equivalences, and congruences (Q1389441) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- Clustering for Petri nets (Q1884880) (← links)
- Causality versus true-concurrency (Q2465026) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- Open maps, behavioural equivalences, and congruences (Q5878914) (← links)
