Junfu Luo

According to our database, Junfu Luo authored at least 1 paper in 2022.

Collaborative distances:

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

2022

MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity.

Junfu Luo, Jiaqi Yin, Huibiao Zhu

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2022