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]
@inproceedings{ZhangML08,
title = {An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category},
author = {Xinlin Zhang and Huaikou Miao and Shenghong Li},
year = {2008},
doi = {10.1109/ICYCS.2008.410},
url = {http://dx.doi.org/10.1109/ICYCS.2008.410},
tags = {rule-based, web service, graph-rewriting, type checking, web services, rewriting, systematic-approach},
researchr = {https://researchr.org/publication/ZhangML08},
cites = {0},
citedby = {0},
pages = {416-421},
booktitle = {Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008},
publisher = {IEEE Computer Society},
}