Comment on Formal Methods in Building Robust Distributed SystemsComments−pja12yr/programming discussion of this paper here: http://www.reddit.com/r/programming/comments/277fbh/use_of_f...
Comments
r/programming discussion of this paper here: http://www.reddit.com/r/programming/comments/277fbh/use_of_f...