Yingjiu Guo, Chuang Lin, Hao Yin. Formal Proof of the IDOP_SP Protocol Based on the Petri Net. In Proceedings of The 2008 IEEE International Conference on Networking, Architecture, and Storage, NAS 2008, June 12-14, 2008, Chongqing, China. pages 161-162, IEEE Computer Society, 2008. [doi]
Abstract is missing.