Ernst-RĂ¼diger Olderog, C. A. R. Hoare. Specification-Oriented Semantics for Communicating Processes. Acta Informatica, 23(1):9-66, 1986.
@article{OlderogH86, title = {Specification-Oriented Semantics for Communicating Processes}, author = {Ernst-RĂ¼diger Olderog and C. A. R. Hoare}, year = {1986}, tags = {semantics, C++}, researchr = {https://researchr.org/publication/OlderogH86}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {23}, number = {1}, pages = {9-66}, }