Tutorial:DesignandValidationofProtocols
Itcanberemarkablyhardtodesignagoodcommunicationsprotocol,muchhardereventhanitistowriteanormalsequentialprogram.Unfortunately,whenthedesignofanewprotocoliscomplete,weusuallyhavelittletroubleconvincingourselvesthatitistriviallycorrect.Itcanbeaunreasonablyhardtoprovethosefactsforma
下载地址
用户评论
