The following pages link to Modal Semirings Revisited (Q3521996):
Displaying 8 items.
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Axiomatizability of representable domain algebras (Q624383) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)
- Modal Tools for Separation and Refinement (Q5403464) (← links)
- Domain Axioms for a Family of Near-Semirings (Q5505433) (← links)
