Applying Formal Methods to Compositionality Description of Web Service.

Browse the full ICIW paper archive.