Xian Xu
East China University of Science and Technology
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Xian Xu.
Acta Informatica | 2012
Xian Xu
This is a paper on distinguishing and relating two important kinds of calculi through expressiveness, settling some critical but long unanswered questions. The delimitation of higher-order and first-order process calculi is a basic and pivotal topic in the study of process theory. Particularly, expressiveness studies mutual encodability, which helps decide whether process-passing or name-passing is more fundamental, and the way they ought to be used in both theory and practice. In this paper, we contribute to such demarcation with three major results. Firstly
ICE | 2015
Xian Xu; Qiang Yin; Huan Long
fuzzy systems and knowledge discovery | 2005
Zhupeng Dong; Xiaoju Dong; Xian Xu; Yuxi Fu; Zhizhou Zhang; Lin He
\pi
international conference on concurrency theory | 2014
Davide Sangiorgi; Xian Xu
arXiv: Logic in Computer Science | 2013
Xian Xu
(first-order pi-calculus) can faithfully express
web services and formal methods | 2013
Xian Xu; Qiang Yin; Huan Long
international conference on natural computation | 2007
Xian Xu; Yanbin Yu
\varPi
annual acis international conference on computer and information science | 2017
Denghong Liu; Xian Xu; Yu Long
International Journal of Computer Mathematics | 2017
Qiang Yin; Xian Xu; Huan Long
(basic higher-order pi-calculus). The calculus
software engineering artificial intelligence networking and parallel distributed computing | 2016
Nannan Liu; Xian Xu
Collaboration
Dive into the Xian Xu's collaboration.
