Algebraic notions of nontermination: Omega and divergence in idempotent semirings

DOI10.1016/j.jlap.2010.07.016zbMath1205.68111OpenAlexW2119087119MaRDI QIDQ604456

Georg Struth, Peter Höfner

Publication date: 11 November 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.07.016

zbMATH Keywords

divergencenonterminationidempotent semiringsmodal semiringsomegarecursion and corecursion

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items (5)

Algebraic coherent confluence and higher globular Kleene algebras ⋮ Left omega algebras and regular equations ⋮ Reactive Probabilistic Programs and Refinement Algebra ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ On the fine-structure of regular algebra

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fixed-point calculus
• Abstract abstract reduction
• Algebras of modal operators and partial correctness
• Dynamic algebras: Examples, constructions, applications
• A completeness theorem for Kleene algebras and the algebra of regular events
• Towards a refinement algebra
• Regular expressions and the equivalence of programs
• Algebraic Notions of Termination
• Modal Semirings Revisited
• Automated Reasoning in Kleene Algebra
• Methods and applications of (max,+) linear algebra
• Kleene algebra with domain
• Modal Tools for Separation and Refinement
• Theory Is Forever

This page was built for publication: Algebraic notions of nontermination: Omega and divergence in idempotent semirings