Example Demos for some of Leslie Lamport's famous papers - View it on GitHub