Kleene algebra with domain
From MaRDI portal
Publication:5277765
DOI10.1145/1183278.1183285zbMath1367.68205OpenAlexW2068047345MaRDI QIDQ5277765
Bernhard Möller, Jules Desharnais, Georg Struth
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 reasoningdomainstate transition systemsKleene algebraidempotent semiringcodomainprogram development and analysisimage and preimage operation
Algebraic theory of languages and automata (68Q70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (73)
Algebras of modal operators and partial correctness ⋮ Concurrent Dynamic Algebra ⋮ Relations as Images ⋮ Non-associative Kleene Algebra and Temporal Logics ⋮ Algebraic Investigation of Connected Components ⋮ An algebraic approach to computations with progress ⋮ Developments in concurrent Kleene algebra ⋮ Extended feature algebra ⋮ Normal design algebra ⋮ An Algebraic Calculus of Database Preferences ⋮ Algebraic coherent confluence and higher globular Kleene algebras ⋮ Concurrent Kleene Algebra ⋮ Transitive Separation Logic ⋮ Unifying Lazy and Strict Computations ⋮ Towards an Algebra for Real-Time Programs ⋮ An Algebra of Layered Complex Preferences ⋮ Relations in linear algebra ⋮ 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 ⋮ Exploring an Interface Model for CKA ⋮ The $$\theta $$-Join as a Join with $$\theta $$ ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ 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 ⋮ 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 ⋮ Geographic wayfinders and space-time algebra ⋮ Internal axioms for domain semirings ⋮ Catoids and modal convolution algebras ⋮ Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests ⋮ Local completeness logic on Kleene algebra with tests ⋮ On the complexity of Kleene algebra with domain ⋮ On the expressive power of Kleene algebra with domain ⋮ The algebra of functions with antidomain and range ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality ⋮ On algebra of program correctness and incorrectness ⋮ Probabilistic Choice in Refinement Algebra ⋮ Modal Semirings Revisited ⋮ Free Kleene algebras with domain ⋮ Enabledness and termination in refinement algebra ⋮ Algebraic neighbourhood logic ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ Domain and range for angelic and demonic compositions ⋮ Undecidability of representability as binary relations ⋮ Modal Tools for Separation and Refinement ⋮ A sketch of a dynamic epistemic semiring ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ Concurrent Kleene algebra and its foundations ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Normal forms in total correctness for while programs and action systems ⋮ Learning in a Changing World, an Algebraic Modal Logical Approach ⋮ An algebra of hybrid systems ⋮ Algebraic properties of if-then-else and commutative three-valued tests ⋮ Partial Maps with Domain and Range: Extending Schein's Representation ⋮ Algebra of Monotonic Boolean Transformers ⋮ KAT-ML: an interactive theorem prover for Kleene algebra with tests ⋮ Equational theories for automata ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS ⋮ Domain Axioms for a Family of Near-Semirings ⋮ Modal algebra and Petri nets ⋮ Extended transitive separation logic ⋮ Infinite executions of lazy and strict computations ⋮ An algebra of database preferences ⋮ Kleene under a modal demonic star ⋮ Abstract abstract reduction
This page was built for publication: Kleene algebra with domain
