stilkov’s avatarstilkov’s Twitter Archive—№ 20,201

  1. “The Verification of a Distributed System”; great article (and pointers) by caitie: queue.acm.org/detail.cfm?ref=rss&id=2889274