C. A. R. Hoare. A Theory of Conjunction and Concurrency. In PARBASE / Databases. pages 18-30, 1990.
@inproceedings{Hoare90:0, title = {A Theory of Conjunction and Concurrency}, author = {C. A. R. Hoare}, year = {1990}, tags = {C++}, researchr = {https://researchr.org/publication/Hoare90%3A0}, cites = {0}, citedby = {0}, pages = {18-30}, booktitle = {PARBASE / Databases}, }