成果/Result
- A Game Theory Approach to Fair and Efficient Resource Allocation in Cloud Computing被引量：57收藏
- 作者：Xu, Xin Yu, Huiqun
- 机构：E China Univ Sci & Technol
- 来源：MATHEMATICAL PROBLEMS IN ENGINEERING 2014
- 关键词：Game theory - Clustering algorithms - Computation theory - Resource allocation
- Distinguishing and relating higher-order and first-order processes by expressiveness被引量：12收藏
- 作者：Xu, Xian
- 机构：E China Univ Sci & Technol
- 来源：ACTA INFORMATICA 2012
- 关键词：Biomineralization - Calculations - Genes - Computation theory - Pathology
- On parameterization of higher-order processes被引量：2收藏
- 作者：Yin, Qiang Xu, Xian Long, Huan
- 机构：Shanghai Jiao Tong Univ;East China Univ Sci & Technol
- 来源：INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS 2017
- 关键词：Context bisimulation normal bisimulation expressiveness parameterization higher-order process calculi 68Q85
- Logical characterization of branching bisimilarity over random processes被引量：0收藏
- 作者：Xu, Xian Zhang, Wenbo
- 机构：East China Univ Sci & Technol;Shanghai Ocean Univ
- 来源：INFORMATION PROCESSING LETTERS 2026
- 关键词：Logical characterization Probabilistic processes Uniformly randomized CCS Branching bisimulation
- On the Interactive Power of Higher-order Processes Extended with Parameterization被引量：0收藏
- 作者：Zhang, Wenbo Xu, Xian Yin, Qiang Long, Huan
- 机构：Shanghai Jiao Tong Univ;East China Univ Sci & Technol;Alibaba Grp
- 来源：FORMAL ASPECTS OF COMPUTING 2021
- 关键词：Parameterization Interactive Higher-order Processes
- On bisimulation in absence of restriction被引量：0收藏
- 作者：Xu, Xian
- 机构：East China Univ Sci & Technol
- 来源：RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS 2026
- 关键词：Strong bisimulation weak bisimulation restriction first-order higher-order processes
- On higher-order communication in ambient calculi被引量：0收藏
- 作者：Xu, Xian Huang, Yan Yao, Zhihuan
- 机构：East China Univ Sci & Technol
- 来源：MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2025
- 关键词：Ambient calculus communication higher-order processes encoding
