Specify and Compose Web Services by TLA.

Hongbing Wang, Hui Liu, Xiaohui Guo

Browse the full ICWS paper archive.