by Hee, K.M. van and Mooij, A.J. and Sidorova, N. and Werf, J.M.E.M. van der
Reference:
Soundness-preserving refinements of service compositions (Hee, K.M. van and Mooij, A.J. and Sidorova, N. and Werf, J.M.E.M. van der), In Web Services and Formal Methods (7th International Workshop, WS-FM 2010), Springer, Berlin, volume 6551, 2010.
Bibtex Entry:
@inproceedings{soundrefinementSC,
  author = {Hee, {K.M. van} and Mooij, {A.J.} and Sidorova, {N.} and Werf, {J.M.E.M. van der}},
  year = {2010},
  title = {Soundness-preserving refinements of service compositions},
  booktitle = {Web Services and Formal Methods (7th International Workshop, WS-FM 2010)},
  series = {Lecture Notes in Computer Science},
  volume = {6551},
  pages = {131--145},
  publisher = {Springer, Berlin}
}

Soundness-preserving refinements of service compositions