Domain Axioms for a Family of Near-Semirings

DOI10.1007/978-3-540-79980-1_25zbMath1170.68514OpenAlexW1576914902MaRDI 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

Specification and verification (program logics, model checking, etc.) (68Q60) Semirings (16Y60)

Related Items (15)

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

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

This page was built for publication: Domain Axioms for a Family of Near-Semirings