Pages that link to "Item:Q5459184"
From MaRDI portal
The following pages link to Omega Algebra, Demonic Refinement Algebra and Commands (Q5459184):
Displayed 7 items.
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Normal design algebra (Q844885) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)