Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312995zbMATH OpenOpenAlexFDO

Authors Bernhard Möller, Georg Struth

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Algebras of modal operators and partial correctness
• Modal Kleene algebra applied to program correctness
• Kleene algebra and modal logic
• Kleene algebra of partial predicates
• Modal logic and algebraic specifications
• scientific article; zbMATH DE number 6863637
• scientific article; zbMATH DE number 2163052
• scientific article; zbMATH DE number 4064960
• Relational and Kleene-Algebraic Methods in Computer Science

Cited in

(17)

• Relational Methods in Computer Science
• Modal Semirings Revisited
• A formal exploration of nominal Kleene algebra
• scientific article; zbMATH DE number 1984270 (Why is no real title available?)
• Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
• Kleene under a modal demonic star
• Modal Design Algebra
• Algebras of modal operators and partial correctness
• Algebraic coherent confluence and higher globular Kleene algebras
• Minimal Proof Search for Modal Logic K Model Checking
• Modal Kleene algebra applied to program correctness
• Kleene algebra of partial predicates
• scientific article; zbMATH DE number 2163052 (Why is no real title available?)
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
• Modes of adjointness
• Relational and Kleene-Algebraic Methods in Computer Science
• Relational Methods in Computer Science

This page was built for publication: Algebraic Methodology and Software Technology

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