Reduction for Structured Concurrent Programs.

Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer

Browse the full ESOP paper archive.