[<<][rtl][>>][..]
Sun Dec 22 00:15:18 CET 2019

Next state spec

So Mr. Lamport agrees: explictly stating what stays the same is a good idea.

https://lamport.azurewebsites.net/video/video4.html




[Reply][About]
[<<][rtl][>>][..]