Web service orchestration and verification using MSC and CP nets.

Aabhas V. Paliwal, Nabil R. Adam, Christof Bornhvd

Browse the full SAC paper archive.