@incollection{eprints2567,
           pages = {21--36},
           title = {Service-level agreements for service-oriented computing},
       booktitle = {Recent Trends in Algebraic Development Techniques},
            year = {2009},
          author = {Allan Clark and Stephen Gilmore and Mirco Tribastone},
       publisher = {Springer},
          series = {Lecture Notes in Computer Science},
            note = {19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers},
          number = {5486},
             url = {http://eprints.imtlucca.it/2567/},
        abstract = {Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quality of service provided in such a setting. These numerical results can be used to allow the expression of accurate service-level agreements about service-oriented computing.}
}