Title of article :
A theory of system behaviour in the presence of node and link failure
Author/Authors :
Adrian Francalanza، نويسنده , , Matthew Hennessy، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Keywords :
Node and link failure , Bisimulation , Labelled transition systems , Distributed calculi , Reduction barbed congruence
Journal title :
Information and Computation
Journal title :
Information and Computation
