Sequentialization and Synchronization for Distributed Programs

Alexander Bakst. Sequentialization and Synchronization for Distributed Programs. PhD thesis, University of California, San Diego, USA, 2017. [doi]

Abstract

Abstract is missing.