Raman Kazhamiakin, Marco Pistore. Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. In Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro, editors, Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Volume 4184 of Lecture Notes in Computer Science, pages 227-241, Springer, 2006. [doi]
@inproceedings{KazhamiakinP06:1, title = {Choreography Conformance Analysis: Asynchronous Communications and Information Alignment}, author = {Raman Kazhamiakin and Marco Pistore}, year = {2006}, doi = {10.1007/11841197_15}, url = {http://dx.doi.org/10.1007/11841197_15}, tags = {analysis}, researchr = {https://researchr.org/publication/KazhamiakinP06%3A1}, cites = {0}, citedby = {0}, pages = {227-241}, booktitle = {Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings}, editor = {Mario Bravetti and Manuel Núñez and Gianluigi Zavattaro}, volume = {4184}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-38862-1}, }