Logical leases: scalable hardware and software systems through time traveling

Xiangyao Yu. Logical leases: scalable hardware and software systems through time traveling. PhD thesis, Massachusetts Institute of Technology, Cambridge, USA, 2018. [doi]

Abstract

Abstract is missing.