[–] evanwolf 3y ago ↗ This is a broad collection of links related to protocols. Part of the first "Summer of Protocols" program.
[–] bediger4000 3y ago ↗ 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.
2 comments
[ 2.9 ms ] story [ 18.2 ms ] threadSure, a lot of it is devoted to talking about Spin verifier, but there's an awful lot of really good stuff in it.