Oquendo, F.
2008 Aug 20.  π-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions. Proceedings of the Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS). [Online] :