The following pages link to Coalgebraic Bisimulation-Up-To (Q2927660):
Displaying 23 items.
- Rational operational models (Q265819) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Context-free coalgebras (Q2341705) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) (Q2942772) (← links)
- A coalgebraic view on decorated traces (Q2973240) (← links)
- (Q2980965) (← links)
- Friends with Benefits (Q2988636) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- Newton series, coinductively: a comparative study of composition (Q4559600) (← links)
- (Q4637688) (← links)
- (Q5111623) (← links)
- (Q5111639) (← links)
- (Q5155688) (← links)
- Coalgebraic Weak Bisimulation from Recursive Equations over Monads (Q5167838) (← links)
- Divergence and unique solution of equations (Q5228882) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Automata Learning: A Categorical Perspective (Q5418974) (← links)