Gang Ren, Pan Deng, Chao Yang, Jianwei Zhang, Qingsong Hua. A Formal Approach for Modeling and Verification of Distributed Systems. In Yin Zhang, Limei Peng, Chan-Hyun Youn, editors, Cloud Computing - 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings. Volume 167 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 317-322, Springer, 2015. [doi]
Abstract is missing.