These are chat archives for
Sign in to start talking
Jun 27 2017 03:53
thats great (:
Jun 27 2017 13:50
I love the glasses! State Machines and TLA+:
Jun 27 2017 13:56
Here is a simple mapping to some of the formulas Dr. Lamport uses
Jun 27 2017 18:13
Yes, this mapping seems clear in you blogpost, JJ
At least in the post it had merit, the picture in my head was a bit different in that there was nap too, etc.
Jun 27 2017 18:37
thank you, it's obviously open for interpretation because TLA+ is trying to use a mathematical formula to express a computation (which is not exactly what it was designed for).