Towards the Synthesis of Static Parallel Algorithms: a Categorical Approach (1991)

by P G Harrison
Venue:IFIP TC2Working Conference on Constructing Programs from Speci Paci