第二回: Primitive Process
今回は,どのようにプロセスが有限状態機械としてモデル化されるかを見ていきます.プロセスとは,逐次実行の単位であり,プロセスは有限状態機械としてモデル化することができ,Java(実装) ではスレッドとして扱われます.具体的には FSP の書き方について説明していきます.
目次
- Action Prefix と STOP プロセス
- FSP の変形
- Choice
- 非決定な Choice
- 添え字付きの Process と Action
- Guarded Actions
- Process Alphabets
- 練習問題
更新履歴
2008/11/23 : 練習問題 : 公開開始
2008/11/23 : Process Alphabets : 公開開始
2008/11/23 : Guarded Actions : 公開開始
2008/11/23 : 添え字付きの Process と Action: 公開開始
2008/11/23 : 非決定な Choice : 公開開始
2008/11/23 : Choice : 公開開始
2008/11/23 : FSP の変形 : 公開開始
2008/11/23 : Action Prefix と STOP プロセス : 公開開始