The following pages link to Simulations in coalgebra (Q703522):
Displaying 8 items.
- Relation lifting, a survey (Q299182) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- A calculus for generic, QoS-aware component composition (Q1949090) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
