Papers
Communities
Events
Blog
Pricing
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
Title
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
Yanhong A. Liu
Scott D. Stoller
21
4
0
22 Aug 2020
1
