パン屋とビザンチン将軍問題
SRI International はソフトウェア部門も有名です。 Leslie B. Lamportは銀行の決済等に使う分散システムの基本的な手法をいろいろ編み出しています。 名前が面白いのが 1. Lamport’s bakery algorithm パン屋のアルゴリズム 2. Byzantine Generals Problem ビザンチン将軍問題 https://ja.wikipedia.org/wiki/%E3%83%93%E3%82%B6%E3%83%B3%E3%83%81%E3%83%B3%E5%B0%86%E8%BB%8D%E5%95%8F%E9%A1%8C htt…