Skip to main content
Article thumbnail
Location of Repository

Maurer Computers with Single-Thread Control

By J.A. Bergstra and C.A. Middelburg


We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer\ud 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

Topics: Wijsbegeerte, Maurer computers, control threads, thread algebra, instructions, stored threads, Turing machines, program algebra.
Year: 2005
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.