The following pages link to Monodic Tree Kleene Algebra (Q5459196):
Displayed 5 items.
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- From Tree Automata to Rational Tree Expressions (Q4963267) (← links)