Impressive level of detail, and I love the Linda shout-out. I also appreciate the beauty of someone defining a TLA+ specification for a concept created by Lesl

Impressive level of detail, and I love the Linda shout-out. I also appreciate the beauty of someone defining a TLA+ specification for a concept created by Leslie Lamport. You can learn far more from this blog post than my entire talk on logical time, but since I dearly lament the passing of the Midwest.io conference, in its honor I'll share this anyway. https://youtu.be/b_swtL5bxJg https://youtu.be/b_swtL5bxJg