The following pages link to The part-time parliament (Q5133679):
Displaying 18 items.
- Making Byzantine consensus live (Q2104036) (← links)
- Synchronous consensus with optimal asynchronous fallback guarantees (Q2175907) (← links)
- Practically stabilizing SWMR atomic memory in message-passing systems (Q2256720) (← links)
- Generalized Paxos made Byzantine (and less complex) (Q2633262) (← links)
- Reachability in Parameterized Systems: All Flavors of Threshold Automata (Q5009433) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- (Q5090896) (← links)
- (Q5090904) (← links)
- Fault-Tolerant Consensus with an Abstract MAC Layer. (Q5090931) (← links)
- (Q5090934) (← links)
- (Q5091093) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
- Invited paper: Cross-chain state machine replication (Q6155235) (← links)
- Reaching consensus in the presence of contention-related crash failures (Q6155245) (← links)
- Communication efficient self-stabilizing leader election (Q6535008) (← links)
- Making Byzantine consensus live (Q6535021) (← links)
- Leaderless state-machine replication: specification, properties, limits (Q6535023) (← links)
- The consensus machine: formalising consensus in the presence of malign agents (Q6535829) (← links)