Huili Xing
Orcid: 0000-0002-2783-8140
According to our database1,
Huili Xing
authored at least 7 papers
between 2019 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
1
1
2
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
An extension of process calculus for asynchronous communications between agents with epistemic states.
Frontiers Comput. Sci., March, 2025
2023
Int. J. Softw. Eng. Knowl. Eng., 2023
2022
2019
The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement.
IEEE Access, 2019
Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement.
IEEE Access, 2019