Pages that link to "Item:Q2842561"
From MaRDI portal
The following pages link to A syntactical approach to weak (bi-)simulation for coalgebras (Q2842561):
Displaying 6 items.
- Towards weak bisimulation for coalgebras (Q2841308) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Modal logics for observation equivalences (Q2843735) (← links)
- Weak bisimulation for action-type coalgebras (extended abstract) (Q2849887) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads (Q5167838) (← links)