research
∙
09/25/2020
The algebra of non-deterministic programs: demonic operators, orders and axioms
Demonic composition, demonic refinement and demonic union are alternativ...
research
∙
07/19/2019