Xian Xu. Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. J. Comput. Sci. Technol., 24(1):122-137, 2009. [doi]
@article{Xu09:1, title = {Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems}, author = {Xian Xu}, year = {2009}, doi = {10.1007/s11390-009-9210-y}, url = {http://dx.doi.org/10.1007/s11390-009-9210-y}, researchr = {https://researchr.org/publication/Xu09%3A1}, cites = {0}, citedby = {0}, journal = {J. Comput. Sci. Technol.}, volume = {24}, number = {1}, pages = {122-137}, }