Implementation of Argus (1987)

by Barbara Liskov, Dorothy Curtis, Paul Johnson, Robert Scheifer
Venue:In Proceedings of the ACM SIGOPS Symposium on Operating Systems Principles (SOSP