An operating system for multicore and clouds: mechanisms and implementation
Using Sparse Capabilities in a Distributed Operating System