A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System
Abstract
Statistics
Cite this article
[IEEE Style]
T. Wang, L. Shen, C. Ma, "A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System," KSII Transactions on Internet and Information Systems, vol. 8, no. 3, pp. 965-983, 2014. DOI: 10.3837/tiis.2014.03.014.
[ACM Style]
Tao Wang, Limin Shen, and Chuan Ma. 2014. A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System. KSII Transactions on Internet and Information Systems, 8, 3, (2014), 965-983. DOI: 10.3837/tiis.2014.03.014.
[BibTeX Style]
@article{tiis:20481, title="A Process Algebra-Based Detection Model for Multithreaded Programs in Communication System", author="Tao Wang and Limin Shen and Chuan Ma and ", journal="KSII Transactions on Internet and Information Systems", DOI={10.3837/tiis.2014.03.014}, volume={8}, number={3}, year="2014", month={March}, pages={965-983}}