1. Abramsky, S.: Proofs as processes. Theoretical Computer Science 135(1), 5–9 (1994)
2. Andrews, T., et al.: Business Process Execution Language for Web Services (BPEL4WS) 1.1 (May 2003),
http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
3. Bellin, G., Scott, P.J.: On the pi-calculus and Linear Logic. Theoretical Computer Science 135(1), 11–65 (1994)
4. Bellwood, T., et al.: Universal Description, Discovery and Integration specification (UDDI) 3.0.,
http://uddi.org/pubs/uddi-v3.00-published-20020719.htm
5. Benatallah, B., Dumas, M., Fauvet, M.-C., Rabhi, F.: Patterns and skeletons for parallel and distributed computing. In: Towards Patterns of Web Services Composition, pp. 265–296. Springer, Heidelberg (2003)