@misc{indiciae31a587625bd8,
  title = {BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources},
  author = {Jose Antonio Mateo and Valentın Valero and Gregorio Dıaz},
  year = {2012},
  url = {https://arxiv.org/abs/1203.1760},
  note = {Source identifier: 1203.1760}
}