Formal Specification of RESTful Choreography Properties.

Adriatik Nikaj, Mathias Weske

Browse the full ICWE paper archive.