1 paper · 1 filter
R. Ramanujam, S. Sheerazuddin
Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does the…