Abstract
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.
Preprint available here.