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
Responsiveness in Process Calculi @INPROCEEDINGS{AB06,
title = {{Responsiveness in Process Calculi}},
author = {{Lucia} {Acciai} and {Michele} {Boreale}},
booktitle = {Proc. of 11th Annual Asian Computing Science Conference (ASIAN'06)},
editor = {Mitsu Okada and Ichiro Sato},
pages = {136-150},
abstract = {In a process calculus, an agent guarantees responsive usage of a channel name r
if a communication along r is guaranteed to eventually take place.
Responsiveness is important, for instance, to ensure that any request to a
service be eventually replied. We propose two distinct type systems, each of
which statically guarantees responsive usage of names in well-typed pi-calculus
processes. In the first system, we achieve responsiveness by combining
techniques for deadlock and livelock avoidance with linearity and
receptiveness. The latter is a guarantee that a name is ready to receive as
soon as it is created. These conditions imply relevant limitations on the
nesting of actions and on multiple use of names in processes. In the second
system, we relax these requirements so as to permit certain forms of nested
inputs and multiple outputs.
},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {4435},
year = {2007},
url = {http://rap.dsi.unifi.it/sensoria/files/ASIAN06.pdf},
address = {Italy},
keywords = {linearity, pi-calculus, responsiveness, type system},
partner = {LIF},
status = {public},
}
|