TY  - RPRT
A1  - Kozen, Dexter
A1  - Möller, Bernhard
T1  - Separability in domain semirings
N2  - 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.
T3  - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 2004-16 
KW  - Halbring
Y1  - 2006
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/250
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-2017
PB  - Institut für Informatik, Universität Augsburg
CY  - Augsburg
ER  -