White, Jerome S. (2011) **Applying Formal Methods to Distributed Algorithms Using Local-Global Relations ** (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/8FRW-ZF17 White, Jerome S. (2008) Receive Buffer Dynamics and OS Scheduling (Thesis (Masters)), California Institute of Technology doi: 10.7907/ZTYH-6B13