Protocols Reading List
by bediger4000 on 3/16/2023, 12:00:35 AM
Does not seem to have Gerard Holzman's Design and Validation of Computer Protocols, which seems like a big oversight.
Sure, a lot of it is devoted to talking about Spin verifier, but there's an awful lot of really good stuff in it.
by evanwolf on 3/15/2023, 9:15:08 PM
This is a broad collection of links related to protocols. Part of the first "Summer of Protocols" program.
Does not seem to have Gerard Holzman's Design and Validation of Computer Protocols, which seems like a big oversight.
Sure, a lot of it is devoted to talking about Spin verifier, but there's an awful lot of really good stuff in it.