Pages that link to "Item:Q1901695"
From MaRDI portal
The following pages link to Simple extensions of 1-writer atomic variable constructions to multiwriter ones (Q1901695):
Displaying 4 items.
- Finite-state concurrent programs can be expressed succinctly in triple normal form (Q522959) (← links)
- A very simple construction of 1-writer multireader multivalued atomic variable (Q751791) (← links)
- Hundreds of impossibility results for distributed computing (Q5138488) (← links)
- Finite-state concurrent programs can be expressed in pairwise normal form (Q5964014) (← links)