Proof Spaces for Unbounded Parallelism.

Azadeh Farzan, Zachary Kincaid, Andreas Podelski

Browse the full POPL paper archive.