PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.
Builds parallel computing clusters from commodity hardware using a high performance communication subsystem. Information about products, downloadable manuals, research papers.
