Sciweavers

ESOP
2007
Springer

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

13 years 10 months ago
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
Adrian Francalanza, Matthew Hennessy
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ESOP
Authors Adrian Francalanza, Matthew Hennessy
Comments (0)