The foundations of program verification (2nd ed.)
The foundations of program verification (2nd ed.)
Journal of Computer and System Sciences
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Logic and information flow
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
Information Processing Letters - Special issue on the calculational method
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of sequential and concurrent programs (2nd ed.)
Verification of sequential and concurrent programs (2nd ed.)
Semirings and formal power series: their relevance to formal languages and automata
Handbook of formal languages, vol. 1
The variety of Kleene algebras with conversion is not finitely based
Theoretical Computer Science
On Hoare logic and Kleene algebra with tests
ACM Transactions on Computational Logic (TOCL)
Automata, Languages, and Machines
Automata, Languages, and Machines
Dynamic Logic
Action Logic and Pure Induction
JELIA '90 Proceedings of the European Workshop on Logics in AI
Dynamic algebras as a well-behaved fragment of relation algebras
Proceedings of the Conference on Algebraic Logic and Universal Algebra in Computer Science
Kleene Algebra with Tests: Completeness and Decidability
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Equational Axioms of Test Algebra
CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
FCT '81 Proceedings of the 1981 International FCT-Conference on Fundamentals of Computation Theory
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Algebras of modal operators and partial correctness
Theoretical Computer Science - Algebraic methodology and software technology
Algebras of modal operators and partial correctness
Theoretical Computer Science - Algebraic methodology and software technology
Acta Cybernetica
Science of Computer Programming
Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement Algebra for Probabilistic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Algebraic Structure of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Modal Tools for Separation and Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Reasoning in Kleene Algebra
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Probabilistic Choice in Refinement Algebra
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Domain Axioms for a Family of Near-Semirings
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Enabledness and termination in refinement algebra
Science of Computer Programming
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
An extension for feature algebra
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
A Semiring Approach to Equivalences, Bisimulations and Control
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Foundations of Concurrent Kleene Algebra
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
A While Program Normal Form Theorem in Total Correctness
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Diagram Chase in Relational System Development
Electronic Notes in Theoretical Computer Science (ENTCS)
A sketch of a dynamic epistemic semiring
Information and Computation
A sketch of a dynamic epistemic semiring
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Latest news about demonic algebra with domain
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
On the structure of demonic refinement algebras with enabledness and termination
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
A non-probabilistic relational model of probabilistic Kleene algebras
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Automated reasoning for hybrid systems: two case studies
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Non-termination in idempotent semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
The structure of the one-generated free domain semiring
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Determinisation of relational substitutions in ordered categories with domain
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Knowledge and games in modal semirings
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Partial, total and general correctness
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Internal axioms for domain semirings
Science of Computer Programming
Learning in a changing world, an algebraic modal logical approach
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Automated engineering of relational and algebraic methods in isabelle/hol
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Dependently-typed formalisation of relation-algebraic abstractions
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Automating algebraic methods in isabelle
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Towards an algebra of hybrid systems
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Verification of pushdown systems using omega algebra with domain
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Lazy semiring neighbours and some applications
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Omega algebra, demonic refinement algebra and commands
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Semigroupoid interfaces for relation-algebraic programming in haskell
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Refinement algebra with operators for enabledness and termination
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Algebra of monotonic boolean transformers
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Unifying correctness statements
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
An algebraic calculus of database preferences
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Unifying lazy and strict computations
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Towards an algebra for real-time programs
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
An algebra of layered complex preferences
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Extended designs algebraically
Science of Computer Programming
Hi-index | 0.00 |
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra by simple equational axioms for a domain and a codomain operation. KAD considerably augments the expressiveness of Kleene algebra, in particular for the specification and analysis of programs and state transition systems. We develop the basic calculus, present the most interesting models and discuss some related theories. We demonstrate applicability by two examples: algebraic reconstructions of Noethericity and propositional Hoare logic based on equational reasoning.