The following publications are possibly variants of this publication:
- Compatibility Checking of Heterogeneous Web Service Policies Using VDM++Quan Z. Sheng, Jian Yu, Zakaria Maamar, Wei Jiang, Xitong Li. services 2009: 821-828 [doi]
- Separating Operational and Control Behaviors: A New Approach to Web Services ModelingQuan Z. Sheng, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Khouloud Boukadi. internet, 14(3):68-76, 2010. [doi]