This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Angels and demons
A subject the papers are about. The loosest grouping, and the one to reach for last.
Two nondeterminisms in one program: the demon resolves a choice against you, the angel in your favour. Collects the work treating a specification's freedom and an adversary's as one construct with opposite polarity. Membership requires both polarities to be in play; a calculus with only demonic choice belongs in the refinement sets.
6 references
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Konstantinos Mamouras (2016) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Programming with angelic nondeterminism
Shaon Barman and others (2010) · Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages · ACM
Modelling angelic and demonic nondeterminism with multirelations
C.E. Martin and others (2007) · Science of Computer Programming · Elsevier BV
Demonic, angelic and unbounded probabilistic choices in sequential programs
Annabelle McIver and others (2001) · Acta Informatica · Springer Science+Business Media
Logical analysis of demonic nondeterministic programs
Stéphane Demri and others (1996) · Theoretical Computer Science · Elsevier BV
Combining angels, demons and miracles in program specifications
R.J.R. Back and others (1992) · Theoretical Computer Science · Elsevier