These are chat archives for jdubray/sam

27th
Jun 2017
Jean-Jacques Dubray
@jdubray
Jun 27 2017 13:50
I love the glasses! State Machines and TLA+: http://lamport.azurewebsites.net/video/smintla.html
Jean-Jacques Dubray
@jdubray
Jun 27 2017 13:56
Here is a simple mapping to some of the formulas Dr. Lamport uses
image.png
Slađan Ristić
@sladiri
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.
Jean-Jacques Dubray
@jdubray
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).