Algebras of modal operators and partial correctness
From MaRDI portal
Publication:820135
DOI10.1016/J.TCS.2005.09.069zbMATH Open1086.68082OpenAlexW2016732604MaRDI QIDQ820135FDOQ820135
Publication date: 6 April 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/39151
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Cites Work
- Demonic operators and monotype factors
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- Dynamic algebras: Examples, constructions, applications
- A completeness theorem for Kleene algebras and the algebra of regular events
- Title not available (Why is that?)
- Temporal algebra
- Kleene algebra with domain
- On Hoare logic and Kleene algebra with tests
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Mathematics of Program Construction
- Algebraic Methodology and Software Technology
- 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
- Characterizing determinacy in Kleene algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some results in dynamic model theory
Cited In (41)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach
- Modal Semirings Revisited
- On the expressive power of Kleene algebra with domain
- Domain and range for angelic and demonic compositions
- Exploring modal worlds
- D-semigroups and constellations
- Title not available (Why is that?)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
- Title not available (Why is that?)
- Algebraic coherent confluence and higher globular Kleene algebras
- Axiomatizability of representable domain algebras
- The Structure of the One-Generated Free Domain Semiring
- Algebraic Methodology and Software Technology
- Non-termination in Idempotent Semirings
- Building program construction and verification tools from algebraic principles
- Algebraic separation logic
- Internal axioms for domain semirings
- Modal Kleene algebra applied to program correctness
- On algebra of program correctness and incorrectness
- Algebras for iteration and infinite computations
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- How to generalise demonic composition
- Monoids with tests and the algebra of possibly non-halting programs
- Semigroup actions on posets and preimage quasi-orders
- Title not available (Why is that?)
- Knowledge and Games in Modal Semirings
- Domain and Range Operations in Semigroups and Rings
- HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
- On the complexity of Kleene algebra with domain
- Relational and Kleene-Algebraic Methods in Computer Science
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
- Modal algebra and Petri nets
- Infinite executions of lazy and strict computations
- A Hierarchy of Algebras for Boolean Subsets
- Local completeness logic on Kleene algebra with tests
- Undecidability of representability as binary relations
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- A Program Construction and Verification Tool for Separation Logic
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)
