5 ms·TLA+ is a language for modeling concurrent and distributed programs and systems3 points by one2three4 5y ago