Pages that link to "Item:Q2841308"
From MaRDI portal
The following pages link to Towards weak bisimulation for coalgebras (Q2841308):
Displaying 13 items.
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Structural operational semantics for weak bisimulations (Q673123) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- New up-to techniques for weak bisimulation (Q2373744) (← links)
- A syntactical approach to weak (bi-)simulation for coalgebras (Q2842561) (← links)
- Modal logics for observation equivalences (Q2843735) (← links)
- An exercise on transition systems (Q2873687) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads (Q5167838) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)