Wenbo Zhang 0004, Xian Xu 0001, Qiang Yin, Huan Long. On the Interactive Power of Higher-order Processes Extended with Parameterization. Formal Asp. Comput., 33(2):151-183, 2021. [doi]
@article{ZhangXYL21, title = {On the Interactive Power of Higher-order Processes Extended with Parameterization}, author = {Wenbo Zhang 0004 and Xian Xu 0001 and Qiang Yin and Huan Long}, year = {2021}, doi = {10.1007/s00165-020-00524-1}, url = {https://doi.org/10.1007/s00165-020-00524-1}, researchr = {https://researchr.org/publication/ZhangXYL21}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {33}, number = {2}, pages = {151-183}, }