Search results
From MaRDI portal
- Keywords angelic nondeterminism; demonic nondeterminism; complete lattice of monotonic predicate transformers; unbounded nondeterminism Mathematics Subject Classification...15 bytes (81 words) - 06:56, 31 January 2024