Specifying and Testing GPU Workgroup Progress Models

Abstract