{"status":"public","supervisor":[{"first_name":"Christian","last_name":"Scheideler","full_name":"Scheideler, Christian","id":"20792"}],"date_created":"2024-07-03T13:09:48Z","_id":"55002","year":"2024","user_id":"15578","department":[{"_id":"34"},{"_id":"7"},{"_id":"79"}],"language":[{"iso":"eng"}],"date_updated":"2024-07-03T13:11:26Z","type":"bachelorsthesis","author":[{"first_name":"Dominik","last_name":"Delgado Steuter","full_name":"Delgado Steuter, Dominik"}],"citation":{"bibtex":"@book{Delgado Steuter_2024, title={Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads }, author={Delgado Steuter, Dominik}, year={2024} }","chicago":"Delgado Steuter, Dominik. <i>Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads </i>, 2024.","short":"D. Delgado Steuter, Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads , 2024.","apa":"Delgado Steuter, D. (2024). <i>Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads </i>.","ieee":"D. Delgado Steuter, <i>Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads </i>. 2024.","mla":"Delgado Steuter, Dominik. <i>Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads </i>. 2024.","ama":"Delgado Steuter D. <i>Realizing Concurrency on Top of the Microkernel SeL4 via Improved Threads </i>.; 2024."},"title":"Realizing Concurrency on Top of the Microkernel seL4 via Improved Threads "}