@incollection{eprints2632,
          author = {Stephen Gilmore and Jane Hillston and Mirco Tribastone},
       publisher = {Springer},
            note = {Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering},
       booktitle = {Software, Services, and Systems},
          number = {8950},
           pages = {490--505},
            year = {2015},
           title = {Service composition for collective adaptive systems},
          series = {Lecture Notes in Computer Science},
        abstract = {Collective adaptive systems are large-scale resource-sharing systems which adapt to the demands of their users by redistributing resources to balance load or provide alternative services where the current provision is perceived to be insufficient. Smart transport systems are a primary example where real-time location tracking systems record the location availability of assets such as cycles for hire, or fleet vehicles such as buses, trains and trams. We consider the problem of an informed user optimising his journey using a composition of services offered by different service providers.},
             url = {http://eprints.imtlucca.it/2632/}
}