A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
From MaRDI portal
Recommendations
Cited in
(47)- Relational heuristics for the design of deterministic programs
- Relational algebraic semantics of deterministic and nondeterministic programs
- On the mathematics of sequential decompositions
- Recursive characterization of computable real-valued functions and relations
- A relation algebraic model of robust correctness
- Relation-algebraic semantics
- Parallel constructions of maximal path sets and applications to short superstrings
- Parallel composition and decomposition of specifications
- Domain and range for angelic and demonic compositions
- Demonic semantics: using monotypes and residuals
- Predicate transformers as power operations
- Towards reasoning about Hoare relations
- How to calculate with nondeterministic functions
- Nondeterministic semantics of compound diagrams
- scientific article; zbMATH DE number 1696900 (Why is no real title available?)
- scientific article; zbMATH DE number 1696901 (Why is no real title available?)
- Relational semantics revisited
- Relations as executable specifications: taming partiality and non-determinism using invariants
- Lazy Relations
- Demonic operational and denotational semantics
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- Laws of programming
- scientific article; zbMATH DE number 4053051 (Why is no real title available?)
- PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES
- Finite-cofinite program relations
- Demonic operators and monotype factors
- scientific article; zbMATH DE number 1086633 (Why is no real title available?)
- scientific article; zbMATH DE number 1086636 (Why is no real title available?)
- scientific article; zbMATH DE number 2064300 (Why is no real title available?)
- scientific article; zbMATH DE number 2069311 (Why is no real title available?)
- scientific article; zbMATH DE number 1788307 (Why is no real title available?)
- scientific article; zbMATH DE number 2087426 (Why is no real title available?)
- The algebra of non-deterministic programs: demonic operations, orders and axioms
- Generated models and the -rule: the nondeterministic case
- Logical relations and nondeterminism
- Mathematics of Program Construction
- Computations and Relational Bundles
- Demonic fixed points
- Algebraic separation logic
- scientific article; zbMATH DE number 956827 (Why is no real title available?)
- Theory and Applications of Relational Structures as Knowledge Instruments
- Non-deterministic closure theory and universal arrows
- Demonic lattices and semilattices in relational semigroups with ordinary composition
- Logical analysis of demonic nondeterministic programs
- Finite representability of semigroups with demonic refinement
- Modelling angelic and demonic nondeterminism with multirelations
- Alternating states for dual nondeterminism in imperative programming
This page was built for publication: A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3988838)
