The following pages link to Simulations in coalgebra (Q2843725):
Displaying 14 items.
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Approximate relational Hoare logic for continuous random samplings (Q1744393) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- Greatest bisimulations for binary methods (Q2842564) (← links)
- Non-strongly Stable Orders Also Define Interesting Simulation Relations (Q2888489) (← links)
- Coalgebraic Simulations and Congruences (Q2942779) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q5754529) (← links)