Omega Algebra, Demonic Refinement Algebra and Commands

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11828563_15 ◽

2006 ◽

pp. 222-234 ◽

Cited By ~ 9

Author(s):

Peter Höfner ◽

Bernhard Möller ◽

Kim Solin

Download Full-text