Tim Stokes

The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms

2021 · Logic Journal of IGPL

Abstract Demonic composition, demonic refinement and demonic union are alternatives to the usual ‘angelic’ composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and the demonic …