Hao Jiang, Zhi-jian Sun. The TCPN-based Verification of Temporal Consistency in Web Service Process. In 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 24-26 October 2006, Shanghai, China. pages 302-306, IEEE Computer Society, 2006. [doi]
Abstract is missing.