C. A. R. Hoare. Parallel programming: an axiomatic approach. In Friedrich L. Bauer, Klaus Samelson, editors, Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975. Volume 46 of Lecture Notes in Computer Science, pages 11-42, Springer, 1975.
@inproceedings{Hoare75,
title = {Parallel programming: an axiomatic approach},
author = {C. A. R. Hoare},
year = {1975},
tags = {parallel programming, C++, programming, systematic-approach},
researchr = {https://researchr.org/publication/Hoare75},
cites = {0},
citedby = {0},
pages = {11-42},
booktitle = {Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23 - August 2, 1975},
editor = {Friedrich L. Bauer and Klaus Samelson},
volume = {46},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-07994-7},
}