Saayan Mitra, Ratnesh Kumar, Samik Basu. Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. In 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA. pages 364-371, IEEE Computer Society, 2007. [doi]
Abstract is missing.