You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@zookeeper.apache.org by "ASF GitHub Bot (Jira)" <ji...@apache.org> on 2020/03/28 11:57:00 UTC

[jira] [Updated] (ZOOKEEPER-3615) write a TLA+ specification to verify Zab protocol

     [ https://issues.apache.org/jira/browse/ZOOKEEPER-3615?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

ASF GitHub Bot updated ZOOKEEPER-3615:
--------------------------------------
    Labels: pull-request-available  (was: )

> write a TLA+ specification to verify Zab protocol
> -------------------------------------------------
>
>                 Key: ZOOKEEPER-3615
>                 URL: https://issues.apache.org/jira/browse/ZOOKEEPER-3615
>             Project: ZooKeeper
>          Issue Type: Wish
>          Components: documentation, server
>            Reporter: maoling
>            Assignee: maoling
>            Priority: Major
>              Labels: pull-request-available
>




--
This message was sent by Atlassian Jira
(v8.3.4#803005)