r/programming discussion of this paper here: http://www.reddit.com/r/programming...

		pja on July 3, 2014 \| parent \| context \| favorite \| on: Formal Methods in Building Robust Distributed Syst... r/programming discussion of this paper here: http://www.reddit.com/r/programming/comments/277fbh/use_of_f...