On the non-sequential nature of the interval-domain model of real-number computation

Research output: Contribution to journalArticle


Colleges, School and Institutes


We show that real-number computations in the interval-domain environment are 'inherently parallel' in a precise mathematical sense. We do this by reducing computations of the weak parallel-or operation on the Sierpinski domain to computations of the addition operation on the interval domain.


Original languageEnglish
Pages (from-to)803-814
Number of pages12
JournalMathematical Structures in Computer Science
Issue number6
Publication statusPublished - 1 Jan 2004