Protocols Reading List

Does not seem to have Gerard Holzman&#x27;s Design and Validation of Computer Protocols, which seems like a big oversight.<p>Sure, a lot of it is devoted to talking about Spin verifier, but there&#x27;s an awful lot of really good stuff in it.

This is a broad collection of links related to protocols. Part of the first &quot;Summer of Protocols&quot; program.