@incollection{eprints115,
           pages = {9--27},
          editor = {Axel Legay and Beno{\^i}t Caillaud},
          author = {Maria Grazia Buscemi and Hern{\'a}n C. Melgratti},
           title = {Contracts for Abstract Processes in Service Composition},
       booktitle = {Proceedings Foundations for Interface Technologies (FIT?10).},
            year = {2011},
          volume = {46},
          series = {Electronic Proceedings in Theoretical Computer},
            note = {{\copyright}M.G. Buscemi \& H. Melgratti
This work is licensed under the
Creative Commons Attribution License.},
           month = {January},
       publisher = {Electronic Proceedings in Theoretical Computer Science},
             url = {http://eprints.imtlucca.it/115/},
        abstract = {Contracts are a well-established approach for describing and analyzing behavioral aspects of web service
compositions. The theory of contracts comes equipped with a notion of compatibility between
clients and servers that ensures that every possible interaction between compatible clients and servers
will complete successfully. It is generally agreed that real applications often require the ability of exposing
just partial descriptions of their behaviors, which are usually known as abstract processes. We
propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation
and we recover the notion of abstraction in the context of contracts.}
}