The following pages link to Quantitative Kleene coalgebras (Q532394):
Displaying 10 items.
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- (Q4558787) (← links)
- WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
