Language support for fast and reliable message-based communication in Singularity OS (2006)

by M FÄHNDRICH, M AIKEN, C HAWBLITZEL, O HODSON, G HUNT, J R LARUS, S LEVI
Venue:In EuroSys. ACM