Non-termination in Idempotent Semirings

DOI10.1007/978-3-540-78913-0_16zbMATH Open1138.68461OpenAlexW1536357460MaRDI QIDQ3498415FDOQ3498415

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

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.

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Dynamic algebras: Examples, constructions, applications
• A completeness theorem for Kleene algebras and the algebra of regular events
• Towards a refinement algebra
• Title not available (Why is that?)
• Automated Reasoning in Kleene Algebra
• Kleene algebra with domain
• Kleene getting lazy
• Algebras of modal operators and partial correctness
• Theory Is Forever
• Title not available (Why is that?)
• An algebraic study of well-foundedness

Cited In (2)

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

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)