Teaching rigorous distributed systems with efficient model checking | the morning paper - discu.eu

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 17/4/2019

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

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.

Submit link to: