# TLA+ の記事一覧

[TLA+] Transaction Commitの仕様を表現する
小室 啓
2019.04.08
[TLA+] ダイ・ハードジャグ問題から仕様を考える
小室 啓
2019.02.24
[TLA+] TLA+の基本的な文法
小室 啓
2019.02.18
[TLA+] TLA+と形式仕様言語 [目的と準備]
小室 啓
2019.01.25