Modeling synchronization and consistency for data race detection in remote memory access programs

Simon Schwitanski. Modeling synchronization and consistency for data race detection in remote memory access programs. PhD thesis, RWTH Aachen University, Germany, 2025. [doi]

Abstract

Abstract is missing.