Pages that link to "Item:Q2541847"
From MaRDI portal
The following pages link to The correctness of nondeterministic programs (Q2541847):
Displaying 14 items.
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Concurrent program schemes and their logics (Q1094866) (← links)
- Communication in concurrent dynamic logic (Q1095653) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I (Q1143165) (← links)
- Formalization of properties of nondeterministic recursive definitions (Q1148668) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II (Q1152704) (← links)
- A new approach to fuzzy programming (Q1158945) (← links)
- Backtracking in recursive computations (Q1238623) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- Functional behavior in data spaces (Q1244988) (← links)
- The correctness of nondeterministic programs revisited (Q1819925) (← links)
- Mathematical theory of partial correctness (Q2545842) (← links)
- Formal computations of non deterministic recursive program schemes (Q3883492) (← links)
