Pages that link to "Item:Q923890"
From MaRDI portal
The following pages link to Enabledness and termination in refinement algebra (Q923890):
Displaying 8 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Exits in the refinement calculus (Q1805400) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Algebraic Notions of Termination (Q3003302) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)