Algebraic Methodology and Software Technology
From MaRDI portal
Publication:5312995
DOI10.1007/B98770zbMATH Open1108.68403OpenAlexW2973096144MaRDI QIDQ5312995FDOQ5312995
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
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 (16)
- Modal Semirings Revisited
- Title not available (Why is that?)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
- Modal Design Algebra
- Algebraic coherent confluence and higher globular Kleene algebras
- Kleene under a modal demonic star
- Algebras of modal operators and partial correctness
- Minimal Proof Search for Modal Logic K Model Checking
- Modal Kleene algebra applied to program correctness
- Kleene algebra of partial predicates
- Title not available (Why is that?)
- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
- Relational and Kleene-Algebraic Methods in Computer Science
- Modes of adjointness
- Relational 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)
