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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.