パーソナルツール
現在の場所: ホーム LTS LTSA チュートリアル
文書操作

LTSA Tutorial

作成者 takeuchi 最終変更日時 2009年06月17日 12時33分

LTSA (Labelled Transition System Analyser) のチュートリアルを公開しています. 初心者用の入門書をイメージして作成しています.

内容

現在公開中のチュートリアルは以下のとおり.

第一回
LTSA をインストールして実行するまでのチュートリアルです.
第二回
プロセスをどのように有限状態機械としてモデル化するかを見ていきます.
第三回
並行プロセスをどのようにモデル化するかを見ていきます. 

参考書籍

Jeff Magee & Jeff Kramer, "Concurrency: State models & Java programs" (John Wiley & sons, 1999) を参考にこのページを作成しています.