Pattern-based abstractions for parallel programs

Julian Miller. Pattern-based abstractions for parallel programs. PhD thesis, RWTH Aachen University, Germany, 2023. [doi]

Abstract

Abstract is missing.