- Search

- Kontakt

Separability in Domain Semirings

D. Kozen, B. Möller
2004-16
in: Universität Augsburg Technical Report, Institute of Computer Science, University of Augsburg, December 2004
Abstract:
First, we show with two examples that in test semirings with an incomplete test algebra a domain operation may or may not exist. Second, we show that two notions of separability in test semirings coincide, respectively, with locality of composition and with extensionality of the diamond operators in domain semirings. We conclude with a brief comparison of dynamic algebras and modal Kleene algebras.

Downloads: