Protocols Reading List (opens in new tab)

(efdn.notion.site)

1 pointsevanwolf3y ago2 comments

2 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.

j / k navigate · click thread line to collapse

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.

j / k navigate · click thread line to collapse