@misc{indiciaeba6c8b3c2f47,
  title = {Reasoning About a Service-oriented Programming Paradigm},
  author = {Claudio Guidi and Fabrizio Montesi},
  year = {2009},
  doi = {10.4204/eptcs.2.6},
  url = {https://arxiv.org/abs/0906.3920},
  note = {Source identifier: 0906.3920}
}