Algebraic notions of nontermination: Omega and divergence in idempotent semirings

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

Peter Höfner, Georg Struth

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

divergence; nontermination; idempotent semirings; modal semirings; omega; recursion and corecursion

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N01: General topics in the theory of software

68N99: Theory of software

Related Items

Reactive Probabilistic Programs and Refinement 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