Sciweavers

Concurrent Separation Logic for Pipelined Parallelization
Recent Google, Yahoo, MSN search queries leading to this post
Concurrent Separation Logic for Pipelined Parallelization