DMCA

Concurrent Separation Logic for Pipelined Parallelization

by Christian J. Bell , David Walker
Citations:9 - 0 self