[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[moca] Paper Announcement: Location and Link Failure in a Distributed Pi-calculus
We would like to announce the following Sussex Technical Report on
system behaviour in the presence of node and link failures. The
technical report can be downloaded at
http://www.informatics.sussex.ac.uk/users/adrianf/
Comments are welcome.
Best,
Adrian Francalanza
Matthew Hennessy
-----------------------------------------------------------------------
-----------------------------------------------------------------------
Title: Location and Link Failure in a Distributed Pi-calculus
Authors: Adrian Francalanza and Matthew Hennessy
Abstract:
We develop a behavioural theory of distributed systems in the presence
of failures. The framework we use is that of Dpi, a language in which
located processes, or agents, may migrate between dynamically created
locations. These processes run on a distributed network, in which
individual nodes may fail, or the links between them may be broken. The
original language, \dpi, is extended by a new construct for detecting
and reacting to these failures together with constructs that induce
failure.
We define a bisimulation equivalence between these systems, based on
labelled actions which record, in addition to the effect actions have
on the processes, the actual state of the underlying network and the
view of this state known to observers. We prove that the equivalence is
\emph{fully abstract}, in the sense that two systems will be
differentiated if and only if, in some sense, there is a computational
context, consisting of a network and an observer, which can see the
difference.
_________________________________________________________________
Adrian Francalanza
Info: http://www.informatics.sussex.ac.uk/users/adrianf/
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list mailto:moca@xxxxxxxxxxxxxxx
http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html