1. A Statistical Mechanics of Distributed Resource Sharing Mechanisms Yemini, Yechiam 1982 Reports Queuing theory--Data processingMultiprocessors--Programming
2. A Secure and Formally Verified Commodity Multiprocessor Hypervisor Li, Shih-Wei 2021 Theses Computer scienceMultiprocessors--ProgrammingComputer securityVirtual computer systemsLinux