Pages that link to "Item:Q1884887"
From MaRDI portal
The following pages link to A fixpoint theory for non-monotonic parallelism (Q1884887):
Displaying 5 items.
- Fixing Zeno gaps (Q549197) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- On the fixpoints of nondeterministic recursive definitions (Q1059391) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)