3 ms·

Here is a video of Leslie Lamport presenting TLA+ at Build 2014. It has a nice intro to TLA+ from the creator of TLA+ himself! https://channel9.msdn.com/Events

Here is a video of Leslie Lamport presenting TLA+ at Build 2014. It has a nice intro to TLA+ from the creator of TLA+ himself! https://channel9.msdn.com/Events/Build/2014/3-642 https://channel9.msdn.com/Events/Build/2014/3-642

twelvechairs 7y ago
Its always a joy to watch Leslie Lamport. He's one of the few people in computer science that are really worth looking up to. Everything he says and does is incredibly eloquent and purposeful.