The following pages link to Rational operational models (Q265819):
Displaying 6 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- CPO models for compact GSOS languages (Q2506486) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- GSOS for probabilistic transition systems (extended abstract) (Q2842551) (← links)