Sciweavers

Share
FUIN
2007

Maurer Computers with Single-Thread Control

9 years 2 days ago
Maurer Computers with Single-Thread Control
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et al. The theory being developed is primarily relevant to the design of new processor architectures. We also relate Maurer’s model for computers with Turing machines, and stored threads with programs as considered in the program algebra of Bergstra et al.
Jan A. Bergstra, C. A. Middelburg
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where FUIN
Authors Jan A. Bergstra, C. A. Middelburg
Comments (0)
books