Now showing items 1-1 of 1

    • Specification Faithfulness in Networks with Rational Nodes 

      Shneidman, Jeffrey; Parkes, David C. (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 ...