The multikernel: a new OS architecture for scalable multicore systems
Language support for fast and reliable message-based communication in singularity OS