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