Implementation of Argus (1987)

by B Liskov, D Curtis, P Johnson, R Scheifler
Venue:In Proceedings of the 11th ACM Symposium on Operating System Principles