Open AccessOn the Proof-Oriented Design of a Context-Switching Service in the Pip Protokernel
Author(s) -
Florian Vanhems,
Narjes Jomaa,
Samuel Hym,
David Nowak
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , context (archaeology) , service (business) , proof of concept , business , operating system , paleontology , marketing , biology