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}, }
|