TLA+ is a language for modeling concurrent and distributed programs and systems (lamport.azurewebsites.net) 3 points by one2three4 5y ago ↗ HN
0 comments
[ 76.8 ms ] story [ 192 ms ] threadNo comments yet.