TLA⁺
Перейти к навигации
Перейти к поиску
TLA+ — язык спецификаций, основанный на теории множеств, логике первого порядка и темпоральной логике действий (англ. TLA, temporal logic of actions). Разработан Лесли Лэмпортом, исследователем теории распределённых систем.
Ссылки
В русской википедии есть страница «TLA⁺».
