Pages that link to "Item:Q2324015"
From MaRDI portal
The following pages link to Paxos consensus, deconstructed and abstracted (Q2324015):
Displaying 10 items.
- Verifying the correctness of distributed systems via mergeable parallelism (Q2154028) (← links)
- On the correctness of Egalitarian Paxos (Q2294436) (← links)
- The deformed consensus protocol (Q2350755) (← links)
- Generalized Paxos made Byzantine (and less complex) (Q2633262) (← links)
- (Q3174955) (← links)
- (Q3386297) (← links)
- Formal modeling and verification of Paxos based on Coq (Q3386298) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- (Q5090896) (← links)
- Quorum tree abstractions of consensus protocols (Q6535243) (← links)