Jerry Vochteloo

The MungiSingle-Address-Space Operating

Heiser, K. Elphinstone, Stephen, 2009 .

Implementation and Performance of theMungi Single-Address-Space Operating SystemGernot

Heiser, K. Elphinstone, Stephen, 1997 .

The mungi single‐address‐space operating system

Jochen Liedtke, Kevin Elphinstone, Stephen Russell, 1998, Softw. Pract. Exp..

Capability-based protection in the Mungi operating system

Gernot Heiser, Jerry Vochteloo, Susan Russell, 1993, Proceedings Third International Workshop on Object Orientation in Operating Systems.

Capability-Based Protection in a Persistent Global Virtual Memory System

Jerry Vochteloo, Jerry Vochteloo, 1993 .