On the Coalgebraic Theory of Kleene Algebra with Tests

DOI10.1007/978-3-319-47843-2_15zbMath1437.68125OpenAlexW146784359MaRDI QIDQ3299849

Dexter Kozen

Publication date: 27 July 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47843-2_15

zbMATH Keywords

verificationcoalgebraKleene algebraKleene algebra with tests

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (2)

Nominal Kleene Coalgebra ⋮ Deciding Synchronous Kleene Algebra with Derivatives

Cites Work

• A completeness theorem for Kleene algebras and the algebra of regular events
• Regular expressions and the equivalence of programs
• Relationships between nondeterministic and deterministic tape complexities
• A Kleene Theorem for Polynomial Coalgebras
• Derivatives of Regular Expressions
• On Hoare logic and Kleene algebra with tests
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Coalgebraic Theory of Kleene Algebra with Tests