47 ms·Erik Meijer and Leslie Lamport: Mathematical Reasoning and Distributed Systems1 points by anaphor 13y ago