Notice of Violation of IEEE Publication Principles: Network Protocols Analyzing by an Environmental Bisimulation Method | IEEE Conference Publication | IEEE Xplore