(untitled) - West, R. (2016)
Keywords: Separation kernel, chip-level distributed system