Huili Xing

Orcid: 0000-0002-2783-8140

According to our database1, Huili Xing authored at least 7 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

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
Other 

Links

On csauthors.net:

Bibliography

2025
An extension of process calculus for asynchronous communications between agents with epistemic states.
Frontiers Comput. Sci., March, 2025

2023
On the Succinctness of Modal μ-Calculus Based on Covariant-Contravariant Refinement.
Int. J. Softw. Eng. Knowl. Eng., 2023

2022
Covariant-Contravariant Refinement Modal μ-calculus.
CoRR, 2022

A calculus for epistemic interactions.
CoRR, 2022

2019
Covariant-Contravariant Refinement Modal Logic.
FLAP, 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


  Loading...