出典：Linux Foundation 錦です。 Linux Foundationは、分散システムにて設計・検証・文書化が容易だとされる点で用いられる「TLA+」という言語を促進するため、「TLA+ Foundation」を設立したことを発表しました。