Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2001.04787
Cited By
v1
v2 (latest)
What's Live? Understanding Distributed Consensus
14 January 2020
Saksham Chand
Yanhong A. Liu
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"What's Live? Understanding Distributed Consensus"
1 / 1 papers shown
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
Yanhong A. Liu
Scott D. Stoller
165
4
0
22 Aug 2020
1
Page 1 of 1
