A Reliable Client-Server Model on Top of a Micro-Kernel.

Published in: Hardware and Software Architectures for Fault Tolerance (1993)