Maybe not keywords, but I'll leave here some links that you'll probably like: https://news.ycombinator.com/item?id=7421858 https://news.ycombinator.com/item?id

Maybe not keywords, but I'll leave here some links that you'll probably like: https://news.ycombinator.com/item?id=7421858 https://news.ycombinator.com/item?id=7421858 http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html http://research.microsoft.com/en-us/um/people/lamport/pubs/p... https://news.ycombinator.com/item?id=2290180 https://news.ycombinator.com/item?id=2290180 https://news.ycombinator.com/item?id=8159969 https://news.ycombinator.com/item?id=8159969 https://news.ycombinator.com/item?id=10017549 https://news.ycombinator.com/item?id=10017549