usenix conference policies
You are here
Home » How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms
Website Maintenance Alert
Due to scheduled maintenance, the USENIX website may not be available on Monday, March 17, from 10:00 am–6:00 pm Pacific Daylight Time (UTC -7). We apologize for the inconvenience and thank you for your patience.
If you would like to register for NSDI '25, SREcon25 Americas, or PEPR '25, please complete your registration before or after this time period.
Authors:
Michel Banâtre and Gilles Muller, IRISA/INRlA; Pack Heng and Bruno Rochat, BULL Research
BibTeX
@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
}
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
}
connect with us