Extensibility safety and performance in the SPIN operating system
- 1 January 1995
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the fifteenth ACM symposium on Operating systems principles - SOSP '95