Organization scheme of system servers in microkernel-based operating systems-multi-process and multi-thread methods | IEEE Conference Publication | IEEE Xplore