Concurrent Separation Logic for Pipelined Parallelization.

Christian J. Bell, Andrew W. Appel, David Walker

Browse the full SAS paper archive.