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)

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

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)