Towards a More Useful Model of Distributed System State
gist.github.com