PLURIX: a multiprocessing Unix-like operating system.

N. Faller, P. Salenbauch

Browse the full HotOS paper archive.