Choreography Conformace Checking based on Process Algebras Topics: Cloud Deployment Models: Public/Private/Hybrid Cloud; Service Modeling and Specification In Proceedings of the 3rd International Conference on Cloud Computing and Services Science CLOSER - Volume 1, 135-139, 2013 , Aachen, Germany