A Predicate Transformer Approach to Semantics of Parallel Programs

Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao. A Predicate Transformer Approach to Semantics of Parallel Programs. In PODC. pages 249-263, 1989.

Abstract

Abstract is missing.