2
Nickolaos Kavantzas, Oracle Corporation
Web Services & Formal Methods Workshop, Feb 2004
Web Services Choreography