Kleene algebra with domain
From MaRDI portal
Publication:5277765
DOI10.1145/1183278.1183285zbMath1367.68205MaRDI QIDQ5277765
Bernhard Möller, Georg Struth, Jules Desharnais
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/53987
equational reasoning; domain; state transition systems; Kleene algebra; idempotent semiring; codomain; program development and analysis; image and preimage operation
68Q70: Algebraic theory of languages and automata
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Undecidability of representability as binary relations, Modal Tools for Separation and Refinement, Domain Axioms for a Family of Near-Semirings, Exploring modal worlds, Relational style laws and constructs of linear algebra, Hopscotch -- reaching the target hop by hop, A relation-algebraic approach to the ``Hoare logic of functional dependencies, Concurrent Kleene algebra and its foundations, Collagories: relation-algebraic reasoning for gluing constructions, Normal forms in total correctness for while programs and action systems, Abstract representation theorems for demonic refinement algebras, Algebraic notions of nontermination: Omega and divergence in idempotent semirings, Determinisation of relational substitutions in ordered categories with domain, Internal axioms for domain semirings, Kleene under a modal demonic star, Abstract abstract reduction, Algebras of modal operators and partial correctness, Normal design algebra, Enabledness and termination in refinement algebra, Algebraic neighbourhood logic, Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types, A sketch of a dynamic epistemic semiring, An algebra of hybrid systems, Monoids with tests and the algebra of possibly non-halting programs, An Algebraic Calculus of Database Preferences, Transitive Separation Logic, Unifying Lazy and Strict Computations, Towards an Algebra for Real-Time Programs, An Algebra of Layered Complex Preferences, Learning in a Changing World, an Algebraic Modal Logical Approach, Algebra of Monotonic Boolean Transformers, MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS, Concurrent Kleene Algebra, Partial Maps with Domain and Range: Extending Schein's Representation, Latest News about Demonic Algebra with Domain, On the Structure of Demonic Refinement Algebras with Enabledness and Termination, Automated Reasoning for Hybrid Systems — Two Case Studies —, Non-termination in Idempotent Semirings, The Structure of the One-Generated Free Domain Semiring, Determinisation of Relational Substitutions in Ordered Categories with Domain, Knowledge and Games in Modal Semirings, Probabilistic Choice in Refinement Algebra, Modal Semirings Revisited, KAT-ML: an interactive theorem prover for Kleene algebra with tests
