TLA+ is a language for modeling concurrent and distributed programs and systemslamport.azurewebsites.net3 points·one2three4··0 commentsOpen articleSaveView on HN