The following pages link to Enhanced coalgebraic bisimulation (Q5361143):
Displaying 10 items.
- A general account of coinduction up-to (Q523132) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Up-To Techniques for Weighted Systems (Q3303913) (← links)
- (Q5089301) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- (Q5875403) (← links)
