Jon Larrea, Antonio Barbalace. The serverkernel operating system. In Aaron Yi Ding, Richard Mortier, editors, Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, EdgeSys@EuroSys 2020, Heraklion, Greece, April 27, 2020. pages 13-18, ACM, 2020. [doi]
@inproceedings{LarreaB20, title = {The serverkernel operating system}, author = {Jon Larrea and Antonio Barbalace}, year = {2020}, doi = {10.1145/3378679.3394537}, url = {https://doi.org/10.1145/3378679.3394537}, researchr = {https://researchr.org/publication/LarreaB20}, cites = {0}, citedby = {0}, pages = {13-18}, booktitle = {Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, EdgeSys@EuroSys 2020, Heraklion, Greece, April 27, 2020}, editor = {Aaron Yi Ding and Richard Mortier}, publisher = {ACM}, isbn = {978-1-4503-7132-2}, }