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