Hacker News
- Teaching rigorous distributed systems with efficient model checking https://blog.acolyer.org/2019/04/17/teaching-rigorous-distributed-systems-with-efficient-model-checking/ 12 comments
Linking pages
- GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus. https://github.com/heidi-ann/distributed-consensus-reading-list 0 comments
- GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus. https://github.com/heidihoward/distributed-consensus-reading-list 0 comments
Linked pages
Related searches:
Search whole site: site:blog.acolyer.org
Search title: Teaching rigorous distributed systems with efficient model checking | the morning paper
See how to search.