Xinlin Zhang, Huaikou Miao, Shenghong Li. An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category. In Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008. pages 416-421, IEEE Computer Society, 2008. [doi]
Abstract is missing.