Protocols Reading Listefdn.notion.site 1 pointevanwolf3 years ago2 commentsSaveHideCopy link On HNComments−bediger40003yDoes 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.−evanwolfOP3yThis is a broad collection of links related to protocols. Part of the first "Summer of Protocols" program.
Comments
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.
This is a broad collection of links related to protocols. Part of the first "Summer of Protocols" program.