TLA+ is a language for modeling concurrent and distributed programs and systems

3 points| one2three4 | 4 years ago |lamport.azurewebsites.net