The following pages link to (Q2849887):
Displaying 6 items.
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Coalgebraising Subsequential Transducers (Q2873665) (← links)
- An Exercise on Transition Systems (Q2873687) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)