Some theoretical aspects of applicative multiprocessing

We have described several aspects of languages and systems for “applicative” multiprocessing, including some solved and some unsolved problems. From a theoretical point of view, the combination of distributed processing and applicative languages seems to provided an extremely interesting and varied array of topics for future investigation. There seems to be little doubt that this combination will have a significant impact on future uses of computers, as well as theories relating to these uses.