レスリー・ランポート
ランポートは時相論理の研究でも知られており、アクションの時相論理(英語版)(TLA)を導入した。
最近の彼の貢献の中には、並行・反応型システムを指定・推論するための言語であるTLAがある。彼は著書Specifying Systems: The TLA Language and Tools for Hardware and Software Engineersでこの言語について記述しており、この言語を「数学に対する技術者の反感を払拭するためのドン・キホーテ的(英語版)な試み」と定義している。