Extensibility, safety and performance in the SPIN operating system (1995)

by B N Bershad, S Savage, E G Sirer, M E Fiuczynski, D Becker, C Chambers, S Eggers
Venue:In Proc. of the 15th ACM Symp. on Oper. Systems Prin