ParallelComputingInLisp / ParallelProgramming

NESL “is a parallel language developed at Carnegie Mellon by the SCandAL project. It integrates various ideas from the theory community (parallel algorithms), the languages community (functional languages) and the system's community (many of the implementation techniques).” » http://www-2.cs.cmu.edu/~scandal/nesl.html

“How to Write Parallel Programs, A First Course” By Nicholas Carriero and David Gelernter > http://lindaspaces.com/book/index.html

kell calculus http://sardes.inrialpes.fr/kells/

PiCalculus

http://unthought.net/TONS-1/main.html

PROFUNDIS: Proofs of Functionality for Mobile Distributed Systems (part of the FET-Global Computing initiative) » http://www.it.uu.se/profundis/

Parawiki .> http://wiki.plm.eecs.uni-kassel.de/parawiki/index.php/Main_Page

see also > Distributed Computing