Pages that link to "Item:Q3618834"
From MaRDI portal
The following pages link to Refinement Algebra with Operators for Enabledness and Termination (Q3618834):
Displayed 12 items.
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Normal design algebra (Q844885) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- Probabilistic Choice in Refinement Algebra (Q3521991) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- Domain Axioms for a Family of Near-Semirings (Q5505433) (← links)