Reduction for Structured Concurrent Programs. - Namratha Gangamreddypalli; Constantin Enea; Shaz Qadeer (ESOP (1), 2026)