Browsing FAS Scholarly Articles by Keyword "failure models"
Now showing items 1-1 of 1
(Association for Computing Machinery, 2004)It is useful to prove that an implementation correctly follows a specification. But even with a provably correct implementation, given a choice, would a node choose to follow it? This paper explores how to create distributed ...