Domain Axioms for a Family of Near-Semirings

DOI10.1007/978-3-540-79980-1_25MaRDI QIDQ5505433zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Internal axioms for domain semirings
• Modal Semirings Revisited
• Axiomatizability of representable domain algebras
• Kleene algebra with domain
• Domain semirings united

Cites work

• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
• scientific article; zbMATH DE number 3824029 (Why is no real title available?)
• Kleene algebra with domain
• Kleene getting lazy
• Modal Semirings Revisited
• On Hoare logic and Kleene algebra with tests
• Process algebra with recursive operations
• Reasoning algebraically about loops
• Refinement Algebra with Operators for Enabledness and Termination
• The basic algebra of game equivalences
• Towards a refinement algebra
• Using probabilistic Kleene algebra pKA for protocol verification

Cited in

(19)

• 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
• Domain and antidomain semigroups
• KAD
• A Hierarchy of Algebras for Boolean Subsets
• 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 union of regular near-rings
• A Hierarchy of Algebras for Boolean Subsets
• On the expressive power of Kleene algebra with domain

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505433)