Guo Wen Li

According to our database, Guo Wen Li authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2015

Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus.

Peng Wang, Ling Yang, Guo Wen Li

Proceedings of the Cloud Computing - 6th International Conference, 2015

2014

A Novel Substitution Judgment Method for Mobile Cloud Computing Application System Components.

Peng Wang, Ling Yang, Guo Wen Li, Xin Gao

Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014