Xiong Xie, Weishi Zhang, Huawei Zhai, Licheng Cui, Jinyu Shi. Specification and Verification of Safe Web Service Behavior Adaptation. In Third International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2010, Dalian, China, 18-20 December, 2010. pages 417-421, IEEE, 2010. [doi]
Abstract is missing.