“The Verification of a Distributed System”; great article (and pointers) by @caitie: queue.acm.org/detail.cfm?ref…

Feb 2, 2016 · 12:50 PM UTC
15
31