Sciweavers

FUIN
2007
89views more  FUIN 2007»
13 years 11 months 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 ...
Jan A. Bergstra, C. A. Middelburg