The following pages link to Towards a refinement algebra (Q1881265):
Displaying 38 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Normal forms in total correctness for while programs and action systems (Q549683) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Finite representability of semigroups with demonic refinement (Q829757) (← links)
- Normal design algebra (Q844885) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Monoids with tests and the algebra of possibly non-halting programs (Q2258843) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Algebra of Monotonic Boolean Transformers (Q3098056) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- Probabilistic Choice in Refinement Algebra (Q3521991) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) (← links)
- Hoare Semigroups (Q4640310) (← links)
- Modal Tools for Separation and Refinement (Q5403464) (← links)
- Domain Axioms for a Family of Near-Semirings (Q5505433) (← links)
