How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms

@inproceedings {252242,
author = {Michel Ban{\^a}tre and Gilles Muller and Pack Heng and Bruno Rochat},
title = {How to Design Reliable Servers using Fault Tolerant {Micro-Kernel} Mechanisms},
booktitle = {USENIX Mach Symposium (USENIX Mach Symposium)},
year = {1991},
address = {Monterey, CA},
url = {https://www.usenix.org/conference/usenix-mach-symposium/how-design-reliable-servers-using-fault-tolerant-micro-kernel},
publisher = {USENIX Association},
month = nov
}