| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 427405 | Information Processing Letters | 2016 | 5 Pages |
Abstract
•Kleene algebras with domain are more expressive than Kleene algebras with tests.•Kleene algebras with domain are expressive for propositional Hoare logic.•Kleene algebras with tests are not expressive for this formalism.
It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Georg Struth,