1. Web Service Definition Language (WSDL) Version 2.0, W3C;Chinnici,2007
2. A WSDL-based type system for asynchronous WS-BPEL processes;Lapadula;Form. Methods Syst. Des.,2011
3. Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication;Yoshida,2007
4. Disciplining orchestration and conversation in service-oriented computing;Lanese,2007
5. Web Services Business Process Execution Language (WS-BPEL) Version 2.0;Organization for the Advancement of Structured Information Standards (OASIS),2007