Algebras of modal operators and partial correctness
From MaRDI portal
Publication:820135
Recommendations
Cites work
- scientific article; zbMATH DE number 1612485 (Why is no real title available?)
- scientific article; zbMATH DE number 4210141 (Why is no real title available?)
- scientific article; zbMATH DE number 44976 (Why is no real title available?)
- scientific article; zbMATH DE number 1032897 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 2163052 (Why is no real title available?)
- scientific article; zbMATH DE number 2090029 (Why is no real title available?)
- scientific article; zbMATH DE number 234018 (Why is no real title available?)
- A completeness theorem for Kleene algebras and the algebra of regular events
- Algebraic Methodology and Software Technology
- Boolean Algebras with Operators. Part I
- Characterizing determinacy in Kleene algebras
- Demonic operators and monotype factors
- Dynamic algebras: Examples, constructions, applications
- Kleene algebra with domain
- Mathematics of Program Construction
- On Hoare logic and Kleene algebra with tests
- Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers
- Some results in dynamic model theory
- Temporal algebra
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
Cited in
(43)- scientific article; zbMATH DE number 2163052 (Why is no real title available?)
- scientific article; zbMATH DE number 5054082 (Why is no real title available?)
- Modal Design Algebra
- On the complexity of Kleene algebra with domain
- How to generalise demonic composition
- Domain and range for angelic and demonic compositions
- Domain and range operations in semigroups and rings.
- A program construction and verification tool for separation logic
- The Structure of the One-Generated Free Domain Semiring
- HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
- Non-termination in Idempotent Semirings
- Modal algebra and Petri nets
- Semigroup actions on posets and preimage quasi-orders
- Internal axioms for domain semirings
- Building program construction and verification tools from algebraic principles
- Modal Kleene algebra applied to program correctness
- Infinite executions of lazy and strict computations
- A Hierarchy of Algebras for Boolean Subsets
- Exploring modal worlds
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- Unifying Operational Weak Memory Verification: An Axiomatic Approach
- Relational and Kleene-Algebraic Methods in Computer Science
- Algebraic Methodology and Software Technology
- Local completeness logic on Kleene algebra with tests
- On algebra of program correctness and incorrectness
- D-semigroups and constellations
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- Knowledge and Games in Modal Semirings
- Axiomatizability of representable domain algebras
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- On the expressive power of Kleene algebra with domain
- scientific article; zbMATH DE number 4035783 (Why is no real title available?)
- Semigroups with if-then-else and halting programs
- Monoids with tests and the algebra of possibly non-halting programs
- Algebraic separation logic
- Modal restriction semigroups: towards an algebra of functions.
- scientific article; zbMATH DE number 1099515 (Why is no real title available?)
- Algebras for iteration and infinite computations
- Modal Semirings Revisited
- Algebraic coherent confluence and higher globular Kleene algebras
- Relational Methods in Computer Science
- scientific article; zbMATH DE number 7123530 (Why is no real title available?)
- Undecidability of representability as binary relations
This page was built for publication: Algebras of modal operators and partial correctness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820135)
