Formal Specification of RESTful Choreography Properties

Adriatik Nikaj, Mathias Weske. Formal Specification of RESTful Choreography Properties. In Alessandro Bozzon, Philippe Cudré-Mauroux, Cesare Pautasso, editors, Web Engineering - 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings. Volume 9671 of Lecture Notes in Computer Science, pages 365-372, Springer, 2016. [doi]

Abstract

Abstract is missing.