1. Towards an active network architecture;Tennenhouse;ACM Computer Communications Review (CCR),1996
2. L.L. Peterson, S.C. Karlin, K. Li, Os support for general-purpose routers, in: Proceedings of the 7th Workshop on Hot Topics in Operating Systems (HotOS-VII), 1999, pp. 38–43. Available from: .
3. B. Bershad, S. Savage, P. Pardyak, E.G. Sirer, D. Becker, M. Fiuczynski, C. Chambers, S. Eggers, Extensibility, safety and performance in the SPIN operating system, in: Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15), Colorado, 1995, pp. 267–284. Available from: .
4. G.C. Necula, Proof-carrying code, in: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’97), Paris, 1997, pp. 106–119. Available from: .
5. M.E. Fiuczynski, R.P. Martin, T. Owa, B.N. Bershad, Spine: a safe programmable and integrated network environment, in: Proceedings of Eighth ACM SIGOPS European Workshop, 1998, see also extended version published as University of Washington TR-98-08-01. Available from: .