A Predicate Transformer Approach to Semantics of Parallel Programs.

Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao

Browse the full PODC paper archive.