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