Pages that link to "Item:Q2841308"
From MaRDI portal
The following pages link to Towards Weak Bisimulation For Coalgebras (Q2841308):
Displayed 5 items.
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras (Q2842561) (← links)
- An Exercise on Transition Systems (Q2873687) (← links)