3 ms·Teaching rigorous distributed systems with efficient model checking6 points by godelmachine 8y ago