An Overview of the Singularity Project 1
Language support for fast and reliable message-based communication in singularity OS