それは理解し、コンカレントコンピュータシステムを定義する方法を学ぶために20年かかりました。これに先立ち、私はまた、厳密な数学的知識を活用する方法を学ぶために数年を費やしました。私は皆11に感謝、この時間を助けることはできませんごめんなさい。ここで私は、この本の一番上の行に影響を与える2人に感謝したいと思います：リチャード・パレでも最も洗練された数学は、厳格かつエレガントの両方であることができることを教えてくれました。マルティン・アバディは、TLAの発展に影響を与え、彼は私のパートナー、書き込み第9章で、第10章では、私に良いアイデアを提供します。
エンジニアリングの問題を解決するために複雑なシステムの数学的モデルを適用する方法についてTLAは、私のアイデアは、マーク・タトルと元ゆうとのコラボレーションから来ます。元ゆうはTLCモデルチェッカーを書きました（PS：私は非現実的な提案の多くを拒否）TLA +はエンジニアにとって非常に便利なツールとなっていますので、。ジャン・シャルル・グレゴワール私は、構文アナライザの最初の版を書いたとき、TLA +言語私に微調整を助けました。
次は、この本のオリジナルバージョンのための良いアドバイスを提供するために私の友人の多くに感謝したいと思います：ドミニク・クチュリエ、ダグラス・フランク、ビノッドグローバー、デビッド・ジェファーソンを、サラKalvalaとヴォルフガング・シュライナーは、問題を指摘しています。和弘緒方は非常に慎重に原稿を読んで、多くの問題を発見しました。カピラPahalawattaは、問題ProtoRealsモジュールを発見しました。水田クリシュナンはまた、問題のProtoRealsモジュールを見つけ、プレゼンテーションを改善する方法を提案しました。私は特に、彼は徹底的に原稿を読んでいた、マーティンRudalicsに感謝したいと多くの問題を発見しました。
レスリー・ランポート
パロアルト、カリフォルニア州
2002年3月4日
