@misc{indiciae76c49e37f031,
  title = {A Graphical Approach to Progress for Structured Communication in Web Services},
  author = {Marco Carbone and Søren Debois},
  year = {2010},
  doi = {10.4204/eptcs.38.4},
  url = {https://arxiv.org/abs/1010.5566},
  note = {Source identifier: 1010.5566}
}