Ben_or-decentralized-consensus-algorithm
所属分类：区块链开发
开发工具：TLA
文件大小：535KB
下载次数：0
上传日期：2020-03-22 20:48:47
上 传 者：
sh-1993
说明： Ben Or去中心化一致性算法在TLA中的实现+
(Implementation of Ben Or decentralized consensus algorithm in TLA+)
文件列表:
AguileraToeug-CorrecnessBenOr.pdf (98331, 2020-03-23)
benor.tla (17377, 2020-03-23)
benor.toolbox (0, 2020-03-23)
benor.toolbox\.project (521, 2020-03-23)
benor.toolbox\.settings (0, 2020-03-23)
benor.toolbox\.settings\org.lamport.tla.toolbox.prefs (77, 2020-03-23)
benor.toolbox\Model_1 (0, 2020-03-23)
benor.toolbox\Model_1\MC.cfg (443, 2020-03-23)
benor.toolbox\Model_1\MC.out (400384, 2020-03-23)
benor.toolbox\Model_1\MC.tla (574, 2020-03-23)
benor.toolbox\Model_1\MC_TE.out (400384, 2020-03-23)
benor.toolbox\Model_1\benor.tla (9312, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476347904 (0, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476347904\MC.cfg (402, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476347904\MC.out (20339, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476347904\MC.tla (572, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476347904\MC_TE.out (20339, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476347904\benor.tla (8620, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476421042 (0, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476421042\MC.cfg (402, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476421042\MC.out (13178, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476421042\MC.tla (572, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476421042\MC_TE.out (13178, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574476421042\benor.tla (8620, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477393087 (0, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477393087\MC.cfg (402, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477393087\MC.out (23804, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477393087\MC.tla (574, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477393087\MC_TE.out (23804, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477393087\benor.tla (8774, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477492358 (0, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477492358\MC.cfg (402, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477492358\MC.out (2277, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477492358\MC.tla (574, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477492358\MC_TE.out (2277, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574477492358\benor.tla (8740, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574478482974 (0, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574478482974\MC.cfg (402, 2020-03-23)
benor.toolbox\Model_1_SnapShot_1574478482974\MC.out (78238, 2020-03-23)
... ...
近期下载者：
相关文件：
收藏者：