@inproceedings{DBLP:journals/corr/abs-1101-4732,
author = {Maria Grazia Buscemi and
Hern{\'a}n C. Melgratti},
title = {Contracts for Abstract Processes in Service Composition},
booktitle = {FIT},
year = {2010},
pages = {9-27},
ee = {http://dx.doi.org/10.4204/EPTCS.46.2},
crossref = {DBLP:journals/corr/abs-1101-4266},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:journals/corr/abs-1101-4266,
editor = {Axel Legay and
Beno\^{\i}t Caillaud},
title = {Proceedings Foundations for Interface Technologies},
booktitle = {FIT},
series = {EPTCS},
volume = {46},
year = {2010},
ee = {http://dx.doi.org/10.4204/EPTCS.46},
bibsource = {DBLP, http://dblp.uni-trier.de}
}