Jing Li, Huibiao Zhu, Geguang Pu. Conformance Validation between Choreography and Orchestration. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 473-482, IEEE Computer Society, 2007. [doi]
@inproceedings{LiZP07:0,
title = {Conformance Validation between Choreography and Orchestration},
author = {Jing Li and Huibiao Zhu and Geguang Pu},
year = {2007},
doi = {10.1109/TASE.2007.16},
url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.16},
researchr = {https://researchr.org/publication/LiZP07%3A0},
cites = {0},
citedby = {0},
pages = {473-482},
booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China},
publisher = {IEEE Computer Society},
}