Xinbin Cao

According to our database, Xinbin Cao authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs.

Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024