Rudolf Berghammer, Burghard von Karger. Towards a Design Calculus for CSP. Science of Computer Programming, 26(1-3):99-115, 1996.
@article{BerghammerK96, title = {Towards a Design Calculus for CSP}, author = {Rudolf Berghammer and Burghard von Karger}, year = {1996}, tags = {design}, researchr = {https://researchr.org/publication/BerghammerK96}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {26}, number = {1-3}, pages = {99-115}, }