Choreography Conformace Checking based on Process Algebras

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.

Authors

Manuel I. Capel

This author has not been identified. Look up 'Manuel I. Capel' in Google