TLA+ is a language for modeling concurrent and distributed programs and systems Posted by one2three4 on Thursday June 10, 2021 @10:34AM from the lamport.azurewebsites.net dept. https://lamport.azurewebsites.net/tla/tla.html ( no comments | 3 points | on HN )
There are no comments yet.