Interface and Execution Models in the Fluke Kernel (1998)

by Bryan Ford Mike , Mike Hibler , Jay Lepreau , Roland Mcgrath , Patrick Tullmann