Non-termination in Idempotent Semirings

DOI10.1007/978-3-540-78913-0_16zbMath1138.68461OpenAlexW1536357460MaRDI QIDQ3498415

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

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

Related Items

Modal Tools for Separation and Refinement

Cites Work

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