Robert Lange, Spiros Mancoridis. thr2csp: Toward Transforming Threads into Communicating Sequential Processes. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2009. [doi]
@article{10.1109-SCAM.2009.10,
title = {thr2csp: Toward Transforming Threads into Communicating Sequential Processes},
author = {Robert Lange and Spiros Mancoridis},
year = {2009},
doi = {10.1109/SCAM.2009.10},
url = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.10},
researchr = {https://researchr.org/publication/10.1109-SCAM.2009.10},
cites = {0},
citedby = {0},
journal = {Source Code Analysis and Manipulation, IEEE International Workshop on},
volume = {0},
}