@inproceedings{inproceedings, title = {{A Suspension-Trace Semantics for CSP}}, publisher = {{IEEE}}, url = {{}}, year = {{2016}}, month = {{8}}, author = {{Cavalcanti A and Hierons RM and Nogueira S and Sampaio A}}, doi = {{10.1109/tase.2016.9}}, journal = {{2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)}}, note = {{Accessed on 2025/05/30}}}