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.

Abstract

Abstract is missing.