@Inproceedings{EPTCS46.2,
  author    = {Buscemi, Maria Grazia  and Melgratti, Hern\'an},
  year      = {2011},
  title     = {Contracts for Abstract Processes in Service Composition},
  editor    = {Legay, Axel and Caillaud, Beno\^it},
  booktitle = {{\rm Proceedings}
               Foundations for Interface Technologies,
               {\rm Paris, France, 30th August 2010}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {46},
  publisher = {Open Publishing Association},
  pages     = {9-27},
  doi       = {10.4204/EPTCS.46.2},
}