Sciweavers

ENTCS
2007

On the Non-sequential Nature of Domain Models of Real-number Computation

13 years 10 months ago
On the Non-sequential Nature of Domain Models of Real-number Computation
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak parallel-or. Part of the argument involves showing that the addition operation is not Vuilemin sequential. We generalize this to all continuous domain environments for the real line. The key property of the real line that leads to this phenomenon is its connectedness. We show that any continuous domain environment for any connected topological space exhibits a similar parallel effect.
Thomas Anberrée
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Thomas Anberrée
Comments (0)