Xian Xu (East China University of Science

Identifiers

• name variant Xian Xu (East China University of Science 0.60 · backfill

Papers (3)

1. Higher-order Processes with Parameterization over Names and Processes cs.LO · 2016 · author #1
2. On the Computation Power of Name Parameterization in Higher-order Processes cs.LO · 2015 · author #1
3. On Context Bisimulation for Parameterized Higher-order Processes cs.LO · 2013 · author #1

Mentions

• 1508.04855 #1 · backfill · confidence 0.70 Xian Xu (East China University of Science
• 1310.4572 #1 · backfill · confidence 0.70 Xian Xu (East China University of Science

Frequent Coauthors

• Technology 2 shared papers
• China) 1 shared papers
• China P.R.) 1 shared papers
• Huan Long (Shanghai Jiao Tong University) 1 shared papers
• Qiang Yin (Shanghai Jiao Tong University) 1 shared papers
• Shanghai 1 shared papers
• Technology) 1 shared papers