Modal Kleene Algebra And Applications -- A Survey (2004)
by
Jules Desharnais
,
Bernhard Möller
,
Georg Struth
| Citations: | 10 - 5 self |
BibTeX
@MISC{Desharnais04modalkleene,
author = {Jules Desharnais and Bernhard Möller and Georg Struth},
title = {Modal Kleene Algebra And Applications -- A Survey},
year = {2004}
}
OpenURL
Abstract
Modal Kleene algebras are Kleene algebras with forward and backward modal operators defined via domain and codomain operations. They provide a concise and convenient algebraic framework that subsumes various other calculi and allows treating quite a variety of areas. We survey







