spacer
spacer search

Software Engineering for Service-Oriented Overlay Computers
Software Engineering for Service-Oriented Overlay Computers

Search
spacer
 
header
Main Menu
 
Home arrow Consortium arrow ATX Software SA

SENSORIA All Publications Print

Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

show main publications


A type system for client progress in a service-oriented calculus


@MISC{AB08a,
  title = {{A type system for client progress in a service-oriented calculus}},
  author = {{Lucia} {Acciai} and {Michele} {Boreale}},
  booktitle = {Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
  pages = {642-658},
  abstract = {We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for service-oriented applications. The interplay of sessioning and data-orchestration primitives makes the design of a type system for CaSPiS challenging. Our main result states that in a well-typed CaSPiS system, and in absence of divergence, any client invoking a service is guaranteed not to get stuck during the execution of a conversation protocol because of inadequate service communication capabilities.},
  series = {LNCS},
  volume = {5065},
  year = {2008},
  url = {http://rap.dsi.unifi.it/sensoriasite/CaspisTypes.pdf},
  address = {Italy},
  doi = {http://dx.doi.org/10.1007/978-3-540-68679-8_40},
  institution = {Universit`a di Firenze},
  keywords = {pi-calculus, process calculi, service oriented computing, type system},
  partner = {DSIUF},
  school = {University of Firenze},
  status = {public},
  task = {T3.3},
}

Members

  • Carlos Matos
  • Georgios Koutsoukos
  • Rui Correia
spacer

The Sensoria Project Website
2005 - 2010
spacer