TLA+ is a language for modeling concurrent and distributed programs and systems(lamport.azurewebsites.net)3 points by one2three4 5 years ago | 0 commentsNo comments yet