Min Gan, Guoying Yue, Hongfa Wang. Network Protocols Analyzing by an Environmental Bisimulation Method. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 363-367, IEEE Computer Society, 2007. [doi]
Abstract is missing.