Non-termination in Idempotent Semirings

DOI10.1007/978-3-540-78913-0_16MaRDI QIDQ3498415zbMATH OpenOpenAlexFDO

Authors Peter Höfner, Georg Struth

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_16

Mathematics Subject Classification ID

Semirings (16Y60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algebraic theory of languages and automata (68Q70)

Recommendations

• Algebraic notions of nontermination: Omega and divergence in idempotent semirings
• Algebraic Notions of Termination
• Semantic models for total correctness and fairness
• Conway and iteration hemirings. II.
• Conway and iteration hemirings. I.

Cites work

• A completeness theorem for Kleene algebras and the algebra of regular events
• Algebras of modal operators and partial correctness
• An algebraic study of well-foundedness
• Automated Reasoning in Kleene Algebra
• Dynamic algebras: Examples, constructions, applications
• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 2163052 (Why is no real title available?)
• Kleene algebra with domain
• Kleene getting lazy
• Theory Is Forever
• Towards a refinement algebra

Cited in

(2)

• Modal tools for separation and refinement
• Algebraic notions of nontermination: Omega and divergence in idempotent semirings

This page was built for publication: Non-termination in Idempotent Semirings

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