Implementation of functional multiprocessors
Olivier Boudillet, Jai Prakash Gupta, Stephen C. Winter · WestminsterResearch (University of Westminster) · 1991
It has recently become possible to implement parallel processing computer technology using multi-CPU systems, such as transputers, based on commercially available devices. This book presents the methodology of implementing a distributed operating system based on the lambda calculus. The authors describe the CTDOS system to handle the reduction mechanism, and demonstrate an implementation of the operating system on a network of transputers.