Automated Choreographer Synthesis for Web Services Composition Using I/O Automata.

Saayan Mitra, Ratnesh Kumar, Samik Basu

Browse the full ICWS paper archive.