Manuel I. Capel. Choreography Conformace Checking based on Process Algebras. In Frédéric Desprez, Donald Ferguson, Ethan Hadar, Frank Leymann, Matthias Jarke, Markus Helfert, editors, CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science, Aachen, Germany, 8-10 May, 2013. pages 135-139, SciTePress, 2013.
@inproceedings{Capel13,
title = {Choreography Conformace Checking based on Process Algebras},
author = {Manuel I. Capel},
year = {2013},
researchr = {https://researchr.org/publication/Capel13},
cites = {0},
citedby = {0},
pages = {135-139},
booktitle = {CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science, Aachen, Germany, 8-10 May, 2013},
editor = {Frédéric Desprez and Donald Ferguson and Ethan Hadar and Frank Leymann and Matthias Jarke and Markus Helfert},
publisher = {SciTePress},
isbn = {978-989-8565-52-5},
}