On Two Dually Nondeterministic Refinement Algebras

K. Solin

erschienen 2006 in R. Schmidt (eds.): Relations and Kleene Algebra in Computer Science (RelMiCS/AKA 06), LNCS 4136
pp. 373-387, 2006.
Springer.

Abstract: