Junya Xu

According to our database, Junya Xu authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

2023

Formalization and verification of Kafka messaging mechanism using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Comput. Sci. Inf. Syst., 2023

2021

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

2020

Formal Modelling and Verification of MCAC Router Architecture in ICN.

Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020