Service-orientation is not only a means for systems integration, but also an architecture paradigm for building systems. Flexibility, adaptability and interoperability are some of...
We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...