Pages that link to "Item:Q5403464"
From MaRDI portal
The following pages link to Modal Tools for Separation and Refinement (Q5403464):
Displaying 4 items.
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
