Publication
Distributed Shared Object Memory
Publication
AMAST’91 Banquet Talk
Publication
The Case for Run-Time Replaceable Kernel Modules
Publication
Factoring an Adequacy Proof (Preliminary Report)
Publication