Pages that link to "Item:Q3988838"
From MaRDI portal
The following pages link to A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS (Q3988838):
Displaying 23 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Algebraic separation logic (Q549676) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Modelling angelic and demonic nondeterminism with multirelations (Q870278) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Relational heuristics for the design of deterministic programs (Q1077919) (← links)
- Relational algebraic semantics of deterministic and nondeterministic programs (Q1079010) (← links)
- On the mathematics of sequential decompositions (Q1261494) (← links)
- Recursive characterization of computable real-valued functions and relations (Q1349924) (← links)
- A relation algebraic model of robust correctness (Q1350502) (← links)
- Relation-algebraic semantics (Q1350513) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- Domain and range for angelic and demonic compositions (Q1734512) (← links)
- Demonic semantics: using monotypes and residuals (Q1774651) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Relational semantics revisited (Q2810687) (← links)
- Laws of programming (Q3766810) (← links)
- Finite-cofinite program relations (Q4237678) (← links)
- Demonic operators and monotype factors (Q4286527) (← links)
- The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms (Q5046723) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902058) (← links)
