e.a. The flux os toolkit: Reusable components for OS implementation (1997)

by B Ford, K V Maren, J Lepreau
Venue:In Proceedings of the Sixth IEEE Workshop on Hot Topics in Operating Systems