Kevin Murray, Tim Wilkinson, Tom Stiemerling, Paul H. J. Kelly. Angel: Resource Unification in a.64-bit Microkernel. In HICSS (4). pages 106-116, 1994.
@inproceedings{MurrayWSK94,
title = {Angel: Resource Unification in a.64-bit Microkernel},
author = {Kevin Murray and Tim Wilkinson and Tom Stiemerling and Paul H. J. Kelly},
year = {1994},
researchr = {https://researchr.org/publication/MurrayWSK94},
cites = {0},
citedby = {0},
pages = {106-116},
booktitle = {HICSS (4)},
}