#

paxos

Here are 5 public repositories matching this topic...

fpaxos / fpaxos-tlaplus

TLA+ specification of Flexible Paxos

paxos tla distributed-algorithms tla-specification

Updated Sep 29, 2023
TLA

anoma / typhon

Formalization of Typhon protocol

distributed-systems blockchain p2p consensus paxos

Updated Nov 17, 2024
TLA

fpaxos / ffpaxos-tlaplus

TLA+ specification of Fast Flexible Paxos

distributed-systems paxos tla-specification fast-flexible-paxos

Updated Oct 9, 2020
TLA

hvanz / PaxosInPluscal

Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.

distributed-systems verification paxos formal-verification tla formal-specification formal-proofs pluscal tlaplus

Updated Sep 19, 2018
TLA

hengxin / paxosstore-tla

TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat

wechat formal-methods paxos distributed-consensus tecent tlaplus tlaps paxosstore

Updated Aug 16, 2019
TLA

Improve this page

Add a description, image, and links to the paxos topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the paxos topic, visit your repo's landing page and select "manage topics."