Tiejun Gao. An analytic semantics of CSP. Fundamenta Informaticae, 15(2):107-122, 1991.
@article{Gao91, title = {An analytic semantics of CSP}, author = {Tiejun Gao}, year = {1991}, tags = {semantics}, researchr = {https://researchr.org/publication/Gao91}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {15}, number = {2}, pages = {107-122}, }