scientific article; zbMATH DE number 2163052
From MaRDI portal
Publication:4673439
zbMath1088.68619MaRDI QIDQ4673439
Georg Struth, Jules Desharnais, Bernhard Möller
Publication date: 29 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Algebras of modal operators and partial correctness ⋮ Algebraic Investigation of Connected Components ⋮ Exploring an Interface Model for CKA ⋮ The $$\theta $$-Join as a Join with $$\theta $$ ⋮ Non-termination in Idempotent Semirings ⋮ Internal axioms for domain semirings ⋮ Abstract strategies and coherence ⋮ Modal Semirings Revisited ⋮ Modal Tools for Separation and Refinement ⋮ Kleene under a modal demonic star ⋮ Abstract abstract reduction