4 ms·Erik Meijer and Leslie Lamport – Mathematical Reasoning and Distributed Systems3 points by louthy 10y ago