Distributed operating systems based on a protected global virtual address space | IEEE Conference Publication | IEEE Xplore