The following pages link to Algebraic Notions of Termination (Q3003302):
Displaying 14 items.
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Normal design algebra (Q844885) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Geographic wayfinders and space-time algebra (Q2423755) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- (Q4738114) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Taming Multirelations (Q5278188) (← links)