Tao Wang, Limin Shen, Chuan Ma. A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System. TIIS, 8(3):965-983, 2014. [doi]
@article{WangSM14, title = {A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System}, author = {Tao Wang and Limin Shen and Chuan Ma}, year = {2014}, doi = {10.3837/tiis.2014.03.014}, url = {http://dx.doi.org/10.3837/tiis.2014.03.014}, researchr = {https://researchr.org/publication/WangSM14}, cites = {0}, citedby = {0}, journal = {TIIS}, volume = {8}, number = {3}, pages = {965-983}, }