Characterizing determinacy in Kleene algebras

DOI10.1016/S0020-0255(01)00168-2zbMath1004.68105OpenAlexW2044475951MaRDI QIDQ1602558

Jules Desharnais, Bernhard Möller

Publication date: 23 June 2002

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0255(01)00168-2

zbMATH Keywords

Kleene algebras

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Cylindric and polyadic algebras; relation algebras (03G15) Quantales (06F07)

Related Items (15)

Algebras of modal operators and partial correctness ⋮ Non-associative Kleene Algebra and Temporal Logics ⋮ Normal design algebra ⋮ Transitive Separation Logic ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ Exploring an Interface Model for CKA ⋮ Determinisation of Relational Substitutions in Ordered Categories with Domain ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ On \(*\)-\(\lambda\)-semirings. ⋮ Algebraic separation logic ⋮ Modal algebra and Petri nets ⋮ Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic ⋮ Extended transitive separation logic ⋮ Characterizing determinacy in Kleene algebras ⋮ Kleene under a modal demonic star

Cites Work

• Towards pointer algebra
• A representation theorem for quantales
• Characterizing determinacy in Kleene algebras
• Representations of integral relation algebras
• Demonic operators and monotype factors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Characterizing determinacy in Kleene algebras