Yuan Feng, Mingsheng Ying. Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol., 19(3):364, 2004. [doi]
@article{FengY04,
title = {Process Algebra Approach to Reasoning About Concurrent Actions},
author = {Yuan Feng and Mingsheng Ying},
year = {2004},
url = {http://jcst.ict.ac.cn/cone/cone43.html#paper10},
tags = {process algebra, algebra, systematic-approach},
researchr = {https://researchr.org/publication/FengY04},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {19},
number = {3},
pages = {364},
}