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
Pages
49
From page
711
To page
759
Keywords
Node and link failure , Bisimulation , Labelled transition systems , Distributed calculi , Reduction barbed congruence
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262479
Link To Document