Yishi Zhao, Nigel Thomas. Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols. In IEEE 15th International Conference on Parallel and Distributed Systems, ICPADS 2009, 8-11 December 2009, Shenzhen, China. pages 821-827, IEEE, 2009. [doi]
Abstract is missing.