Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao. A Predicate Transformer Approach to Semantics of Parallel Programs. In PODC. pages 249-263, 1989.
@inproceedings{JutlaKR89, title = {A Predicate Transformer Approach to Semantics of Parallel Programs}, author = {Charanjit S. Jutla and Edgar Knapp and Josyula R. Rao}, year = {1989}, tags = {semantics, parallel programming, systematic-approach}, researchr = {https://researchr.org/publication/JutlaKR89}, cites = {0}, citedby = {0}, pages = {249-263}, booktitle = {PODC}, }