@Inproceedings{EPTCS35.7,
  author    = {Sala\"un, Gwen },
  year      = {2010},
  title     = {Analysis and Verification of Service Interaction Protocols - A Brief Survey},
  editor    = {Sala\"un, Gwen and Fu, Xiang and Hall\'e , Sylvain},
  booktitle = {{\rm Proceedings Fourth International Workshop on}
               Testing, Analysis and Verification of Web Software,
               {\rm Antwerp, Belgium, 21 September 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {35},
  publisher = {Open Publishing Association},
  pages     = {75-86},
  doi       = {10.4204/EPTCS.35.7},
}