Algebraic notions of nontermination: Omega and divergence in idempotent semirings
From MaRDI portal
Publication:604456
DOI10.1016/J.JLAP.2010.07.016zbMATH Open1205.68111OpenAlexW2119087119MaRDI QIDQ604456FDOQ604456
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
Recommendations
General topics in the theory of software (68N01) Theory of software (68N99) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Methods and applications of \((\max,+)\) linear algebra
- Fixed-point calculus
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic Notions of Termination
- Algebras of modal operators and partial correctness
- Regular expressions and the equivalence of programs
- Title not available (Why is that?)
- Modal Semirings Revisited
- Title not available (Why is that?)
- Modal tools for separation and refinement
- Theory Is Forever
- Abstract abstract reduction
Cited In (6)
- Reactive Probabilistic Programs and Refinement Algebra
- On the fine-structure of regular algebra
- Algebraic coherent confluence and higher globular Kleene algebras
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Non-termination in Idempotent Semirings
- Left omega algebras and regular equations
Uses Software
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)
