Xian Xu Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems. 122-137 2009 24 J. Comput. Sci. Technol. 1 http://dx.doi.org/10.1007/s11390-009-9210-y db/journals/jcst/jcst24.html#Xu09