Algebraic notions of nontermination: Omega and divergence in idempotent semirings

DOI10.1016/J.JLAP.2010.07.016MaRDI QIDQ604456zbMATHOpenAlexFDO

Authors 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

divergenceidempotent semiringsmodal semiringsnonterminationomegarecursion and corecursion

Mathematics Subject Classification ID

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

Recommendations

• Non-termination in Idempotent Semirings
• Algebraic Notions of Termination
• Termination, deadlock, and divergence
• Termination, deadlock and divergence
• An algebraic approach to computations with progress

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 408802 (Why is no real title available?)
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 3316966 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Abstract abstract reduction
• Algebraic Notions of Termination
• Algebras of modal operators and partial correctness
• Automated Reasoning in Kleene Algebra
• Dynamic algebras: Examples, constructions, applications
• Fixed-point calculus
• Kleene algebra with domain
• Methods and applications of \((\max,+)\) linear algebra
• Modal Semirings Revisited
• Modal tools for separation and refinement
• Regular expressions and the equivalence of programs
• Theory Is Forever
• Towards a refinement algebra

Cited in

(6)

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

Describes a project that uses

Uses Software

• Prover9
• Mace4

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q604456)