Z. C. Chen, C. A. R. Hoare. Partial Correctness of Communicating Sequential Processes. In Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981. pages 1-12, IEEE Computer Society, 1981.
@inproceedings{ChenH81, title = {Partial Correctness of Communicating Sequential Processes}, author = {Z. C. Chen and C. A. R. Hoare}, year = {1981}, tags = {C++}, researchr = {https://researchr.org/publication/ChenH81}, cites = {0}, citedby = {0}, pages = {1-12}, booktitle = {Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981}, publisher = {IEEE Computer Society}, }