RSS BotMB to Lobste.rsEnglish · 3 days agoModel checking safety of Ben-Or’s Byzantine consensus with Apalacheprotocols-made-fun.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkModel checking safety of Ben-Or’s Byzantine consensus with Apalacheprotocols-made-fun.comRSS BotMB to Lobste.rsEnglish · 3 days agomessage-square0fedilinkfile-text
