Domain Axioms for a Family of Near-Semirings

DOI10.1007/978-3-540-79980-1_25zbMath1170.68514MaRDI QIDQ5505433

Jules Desharnais, Georg Struth

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_25

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

16Y60: Semirings

Related Items

Concurrent Dynamic Algebra, Taming Multirelations, Affine Near-Semirings Over Brandt Semigroups, Fixpoints for general correctness, Abstract representation theorems for demonic refinement algebras, Axiomatizability of representable domain algebras, Internal axioms for domain semirings, On the expressive power of Kleene algebra with domain, Automated verification of refinement laws, Free Kleene algebras with domain, Ordered domain algebras, Restriction Semigroups and Inductive Constellations, Radicals and Ideals of Affine Near-Semirings Over Brandt Semigroups, Modal Semirings Revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Kleene getting lazy
• Using probabilistic Kleene algebra pKA for protocol verification
• Reasoning algebraically about loops
• The basic algebra of game equivalences
• Towards a refinement algebra
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
• Modal Semirings Revisited
• Refinement Algebra with Operators for Enabledness and Termination
• Kleene algebra with domain
• On Hoare logic and Kleene algebra with tests