scientific article
From MaRDI portal
Publication:2721093
zbMath0963.68504MaRDI QIDQ2721093
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Algebras of modal operators and partial correctness ⋮ An algebraic approach to computations with progress ⋮ Normal design algebra ⋮ Concurrent Kleene Algebra ⋮ Optimistic synchronization-based state-space reduction ⋮ Unifying Lazy and Strict Computations ⋮ On Completeness of Omega-Regular Algebras ⋮ Abstract representation theorems for demonic refinement algebras ⋮ Algebraic notions of nontermination: Omega and divergence in idempotent semirings ⋮ Typing theorems of omega algebra ⋮ Left omega algebras and regular equations ⋮ Latest News about Demonic Algebra with Domain ⋮ On the Structure of Demonic Refinement Algebras with Enabledness and Termination ⋮ Non-termination in Idempotent Semirings ⋮ Knowledge and Games in Modal Semirings ⋮ Computing least and greatest fixed points in absorptive semirings ⋮ Enabledness and termination in refinement algebra ⋮ Algebraic neighbourhood logic ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ Algebraic reasoning for probabilistic action systems and while-loops ⋮ Structural transformations for data-enriched real-time systems ⋮ Modal Tools for Separation and Refinement ⋮ A Generalisation of Stationary Distributions, and Probabilistic Program Algebra ⋮ Dual choice and iteration in an abstract algebra of action ⋮ Fixing Zeno gaps ⋮ Fixpoints for general correctness ⋮ Concurrent Kleene algebra and its foundations ⋮ Normal forms in total correctness for while programs and action systems ⋮ Algebras for iteration and infinite computations ⋮ An algebra of hybrid systems ⋮ Proving the correctness of client/server software ⋮ Infinite executions of lazy and strict computations ⋮ Completeness results for omega-regular algebras ⋮ Kleene under a modal demonic star ⋮ Abstract abstract reduction