Theseus: an Experiment in Operating System Structure and State Management.
Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong
2020Operating Systems Design and Implementation19 citations
Topics & Concepts
State (computer science)Computer scienceManagement systemSystems engineeringEngineeringOperations managementProgramming languageDistributed systems and fault toleranceSecurity and Verification in ComputingSoftware System Performance and Reliability