文書操作
LTSA Tutorial
LTSA (Labelled Transition System Analyser) のチュートリアルを公開しています． 初心者用の入門書をイメージして作成しています．
内容
現在公開中のチュートリアルは以下のとおり．
- 第一回
- LTSA をインストールして実行するまでのチュートリアルです．
- 第二回
- プロセスをどのように有限状態機械としてモデル化するかを見ていきます．
- 第三回
- 並行プロセスをどのようにモデル化するかを見ていきます．
参考書籍
Jeff Magee & Jeff Kramer, "Concurrency: State models & Java programs" (John Wiley & sons, 1999) を参考にこのページを作成しています．