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 deadlock free type system for a calculus of services and sessions
@TECHREPORT{BM:TR0805,
title = {{A deadlock free type system for a calculus of services and sessions}},
author = {{Roberto} {Bruni} and {Leonardo Gaetano} {Mezzina}},
abstract = {The notion of a session is fundamental in service oriented applications, as it serves to separate interactions between different instances of the same services, and to group together logical units of work. Recently, SCC has been proposed as a calculus centered around the concept of a dyadic session, where service interaction protocols and service orchestration can be conveniently expressed. In this paper we propose a generic type system to collect services' behaviors and then we fix a class of well typed processes that are guaranteed to be deadlock free. The type system is based on previous research on traditional mobile calculi, here conveniently extended and simplified thanks to the neat discipline imposed by the linguistic primitives of SCC.},
number = {TR-08-05},
year = {2008},
url = {http://www.di.unipi.it/~bruni/publications/TR2008.ps.gz},
institution = {Computer Science Department, University of Pisa},
keywords = {behavioral-types, core calculi, Deadlock},
partner = {PISA},
task = {T2.1, T2.3},
}
|
