Xu, Xian Higher-order \(\pi\)-calculi with the mismatch operator. (Chinese. English summary) Zbl 1324.68068 J. Softw. 25, No. 11, 2433-2451 (2014). MSC: 68Q85 68N18 PDFBibTeX XMLCite \textit{X. Xu}, J. Softw. 25, No. 11, 2433--2451 (2014; Zbl 1324.68068) Full Text: DOI
Xu, Xian Distinguishing and relating higher-order and first-order processes by expressiveness. (English) Zbl 1276.68129 Acta Inf. 49, No. 7-8, 445-484 (2012). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 PDFBibTeX XMLCite \textit{X. Xu}, Acta Inf. 49, No. 7--8, 445--484 (2012; Zbl 1276.68129) Full Text: DOI
Xu, Xian On bisimulation theory in linear higher-order \(\pi \)-calculus. (English) Zbl 1266.68139 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency III. Berlin: Springer (ISBN 978-3-642-04854-8/pbk). Lecture Notes in Computer Science 5800. Journal Subline, 244-274 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{X. Xu}, Lect. Notes Comput. Sci. 5800, 244--274 (2009; Zbl 1266.68139) Full Text: DOI