Neelam Soundararajan. Axiomatic Semantics of Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems, 6(4):647-662, 1984. [doi]
@article{Soundararajan84, title = {Axiomatic Semantics of Communicating Sequential Processes}, author = {Neelam Soundararajan}, year = {1984}, doi = {10.1145/1780.1805}, url = {http://doi.acm.org/10.1145/1780.1805}, tags = {semantics}, researchr = {https://researchr.org/publication/Soundararajan84}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {6}, number = {4}, pages = {647-662}, }