A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS

DOI10.1142/S012905419100008XzbMath0739.68063MaRDI QIDQ3988838

Thanh Tung Nguyen

Publication date: 28 June 1992

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

calculus of relationsdemonic nondeterminismdemonic compositiondemonic unionrecursive relation equationsrestriction-of ordering

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items

Recursive characterization of computable real-valued functions and relations, A relation algebraic model of robust correctness, Relation-algebraic semantics, Predicate transformers as power operations, Demonic operators and monotype factors, Parallel constructions of maximal path sets and applications to short superstrings, Towards reasoning about Hoare relations, Domain and range for angelic and demonic compositions, Logical analysis of demonic nondeterministic programs, Algebraic separation logic, Relational Semantics Revisited