型付きプロセス

あれ、型付きプロセスの概念が急にわかってしまった。プロセスのプロファイルを書くには、時間が入った型が必要。線形時間ならたとえば正規表現が型として使える。分岐時間ならツリー形状をベースにした型だ。型の定義にオートマトンが使えるだろう。