Inter-process communication, MPI and MPICH in microkernel environment: A comparative analysis | IEEE Conference Publication | IEEE Xplore