The following pages link to (Q2721093):
Displaying 35 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← 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)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Abstract abstract reduction (Q817587) (← links)
- Algebras of modal operators and partial correctness (Q820135) (← links)
- Normal design algebra (Q844885) (← links)
- Optimistic synchronization-based state-space reduction (Q853724) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Proving the correctness of client/server software (Q1040009) (← links)
- Typing theorems of omega algebra (Q1931900) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- Computing least and greatest fixed points in absorptive semirings (Q2695365) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Concurrent Kleene Algebra (Q3184688) (← 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)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- A Generalisation of Stationary Distributions, and Probabilistic Program Algebra (Q4917061) (← links)
- Modal Tools for Separation and Refinement (Q5403464) (← links)
