Iman Saleh, Gregory Kulczycki, M. Brian Blake. Formal Specification and Verification of Data-Centric Service Composition. In IEEE International Conference on Web Services, ICWS 2010, Miami, Florida, USA,July 5-10, 2010. pages 131-138, IEEE Computer Society, 2010. [doi]
Abstract is missing.